1. F.L. Bauer, J. Eickel, M. Paul u. K. Samelson: “A Syntax Controlled Generator of Formal Language Processors”. Com. ACM, Vol.6, 1963, pp. 451–455.
2. H. Hermes: “Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit”. Springer-Verlag-Göttingen, 1961.
3. G. Hotz: “Eine Algebraisierung des Syntheseproblemes von Schaltkreisen I”. EIK, Bd.1, Heft 3, 1965.
4. G. Hotz: “Eindeutigkeit und Mehrdeutigkeit formaler Sprachen”. (Erscheint demnächst in EIK.)
5. H.-B. Brinkmann u. D. Puppe: “Kategorien und Funktoren”. Lecture Notes in Mathematics, Ed. A. Dold and B. Eckmann, Springer-Verlag, 1966.