Logic of programs : workshop, ETH Zürich, May-July 1979 - Kozen, Dexter (rz1, 1981)