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