Theoretical computer science : 3RD GL CONFERENCE, DARMSTADT, MARCH 28-30. 1977. - Tzschach, H. (Springer Verlag, 1977)