Author: International Colloquium on Automata, Languages and Programming (5th 1978 Udine)