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