Theoretical computer science : 5TH GL-CONFERENCE KARLSRUHE, MARCH 23-24, 1981. - Deussen, Peter (Lecture Notes in Computer Science ;, 1981)