Author: Colloquium on Automata, Languages and Programming (2nd. 1974 University of Saarbrücken)