Logic of Programs Workshop, Eth Zurich, May - July 1979 - Engeler, E. (Lecture Notes in Computer Science Ser.)