%0 Book
%A Eric C.R. Hehner
%T A practical theory of programming
%U /book/101372533/A-practical-theory-of-programming/