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