Hehner, Eric C. R A practical theory of programming Eric C.R. Hehner - Berlin Springer-Verlag c1993 - 243 p. ; 25 cm Includes bibliographical references (p. 215-218) and index ISBN: 387941061 Subjects--Topical Terms: Computer programming Dewey Class. No.: 005.1 HEH