THEORETICAL COMPUTER SCIENCE: 3RD GLF CONFERENCE,1977 - TZSCHACH,H (ED) (SV BERLIN, 1977)