Author: Colloquium on Automata, Languages and Programming (4th 1977 University of Turku)