Author: Colloquium on Automata, Languages and Programming (6th. 1979 Graz, Austria)