TY  - BOOK
AU  - Beckman, Frank S
TI  - Mathematical foundations of programming
PY  - 1980///
CY  - Reading
PB  - Addison Wesley
KW  - Computer science
KW  - Computer programming
KW  - Computer software
ER  -