Automata theory and formal languages - Brakhage, H. (rz1, 1975)