Author: International Colloquium on Automata, Languages and Programming (15th 1988 Tampere, Finland)