Author: International Colloquium on Automata, Languages and Programming (7th 1980 Noordwijkerhout)