1. Duden Informatik. 2. Aufl. Mannheim: Dudenverlag 1993 Rechenberg, P.; Pomberger, G. (Hrsg.): Informatik-Handbuch. 2. Aufl. München: Hanser 1999
2. Hermes, H.: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 3. Aufl. Berlin: Springer 1978
3. Hilbert, D.; Ackermann, W: Grundzüge der theoretischen Logik. 6. Aufl. Berlin: Springer 1972
4. Hoperoft, J.E.; Ullman, J D • Einfiihnmg in die Automatentheorie, formale Sprachen und Komplexitätstheorie. 3. Aufl. München: Oldenbourg 1994
5. Hill, J.H.; Peterson, G.R.: Computer aided logical design