%0 Book
%A Edsger W. Dijkstra, Carel S. Scholten
%T Predicate calculus and program semantics
%U /book/101372993/Predicate-calculus-and-program-semantics/