Giorgio Ausiello Corrado Böhm Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings ICALP Lecture Notes in Computer Science 62 Springer 1978 3-540-08860-1 db/conf/icalp/icalp78.html