Author: International Colloquium on Automata, Languages, and Programming (14th 1987 Karlsruhe, FDR)