TY  - BOOK
AU  - Hehner,Eric C.R.
TI  - A practical theory of programming
PY  - 1993///
CY  - New York, Berlin
PB  - Springer-Verlag
KW  - Computer programming
ER  -