Automata, languages and programming : NINTH COLLOQUIUM AARHUS, DENMARK JULY 12-16, 1982. - Nielsen, M.; Schmidt, E.M (Lecture Notes in Computer Science, 1982)