TY - BOOK AU - Hehner,Eric C.R. TI - A practical theory of programming SN - 0387941061 PY - 1993/// CY - New York PB - Springer-Verlag KW - Programming (Electronic computers) N1 - Includes bibliographical references (p. 215-218) and index ER -