TY  - BOOK
AU  - Hehner
TI  - A Practical Theory Of Programming
SN  - 0387941061
U1  - 005.1 
ER  -