Einführung in die strukturelle Automatentheorie - Bochmann, Dieter (Berlin : Verlag Technik, 1975)