Theoretical computer science : 3rd GI Conference: darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI - Tzschach, H. G.; Waldschmidt, Helmut (Lecture notes in computer science, 1977)