Endliche Automaten (Bibliogr. Inst., 1970)