Theoretical computer science : 3rd GI conference. Darmstad, March 28-30, 1977 - Berman, L. (rz1, 1977)