1. Gluschkov, V.: Theorie der abstrakten Automaten. Dt. Übersetzung Berlin: VEB-Verlag 1963.
2. Hermes, H.: Aufzählbarkeit, Berechenbarkeit, Entscheidbarkeit. Berlin-Heidelberg-New York: Springer 1961.
3. Ginsburg, S.: The Mathematical Theory of Contextfree Languages. New York: McGraw-Hill 1966.
4. Samelson, K., Bauer, F.L.: Sequentielle Formelübersetzung. Elektr. Rechenanlagen 1, 176–182 (1959).
5. Bauer, F.L., Samelson, K.: Maschinelle Verarbeitung von Programmsprachen. In: W. Hoffmann (Hrsg.), Digitale Informationswandler, Braunschweig: Vieweg 1962.