Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18 - 22, 1983 - Abramsky, Samson (Lecture notes in computer science, 1983)