A practical theory of programming / Eric C.R. Hehner. - Hehner, Eric C. R. (Texts and monographs in computer science, 1993)