TY  - BOOK
TI  - The deductive foundations of computer programming
SN  - 0201548860
U1  - 519.7 MAN 
CY  - ADDISON-WESLEY
KW  - Electronic Digital Computers-Programming
ER  -