TY - BOOK AU - Hehner E C R TI - Practical theory of programming U1 - 005.1 PY - 1993/// CY - N Y PB - Springer Verlag KW - Computer programming ER -