Describir: Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler.