Author: International Colloquium on Automata, Languages and Programming (8th 1981 Acre, Israel)