Deakstadieđáhus: Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 / edited by M. Nielsen and E.M. Schmidt.