Author: International Colloquium on Automata, Languages, and Programming (20th 1993 Lund, Sweden)