Author: International Colloquium on Automata, Languages and Programming (18th 1991 Madrid)