Logic of programs, workshop, ETH Zurich, May-July 1979 - Berlin Springer-Verlag 1981 - 245 p. - Lecture Notes in Computer Science no.125 .

ISBN: 3540111603

Dewey Class. No.: 164 / L6