Automata, languages and programming : NINTH COLLOQUIUM AARHUS, DENMARK JULY 12-16, 1982.. - Nielsen, M.; Schmidt, E.M. (Berlin : Springer Verlag, 1982)