Author: Colloquium on Automata, Languages, and Programming (2nd 1974 University of Saarbrucken)