Hermann A. Maurer Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings ICALP Lecture Notes in Computer Science 71 Springer 1979 3-540-09510-1 db/conf/icalp/icalp79.html