Automata, languages and programming : 9th colloquium, Aarhus, Denmark, 12 - 16 July 1982 - Back, R. J. R. (Lecture notes in computer science, 1982)