Eric C. R. Hehner A Practical Theory of Programming. 133-158 1990 14 Sci. Comput. Program. 2-3 db/journals/scp/scp14.html#Hehner90