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