Theoretical computer science : 5TH GL-CONFERENCE KARLSRUHE, MARCH 23-24, 1981. - Deussen, Peter (Springer Verlag, 1981)