Text this: Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.