Author: International Colloquium on Automata, Languages and Programming (17th 1990 University of Warwick)