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