Mogens Nielsen Erik Meineche Schmidt Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings ICALP Lecture Notes in Computer Science 140 Springer 1982 3-540-11576-5 db/conf/icalp/icalp82.html