Author: International Colloquium on Automata, Languages and Programming (16th 1989 Stresa, Italy)