TY  - GEN
AU  - Beckman  F S
TI  - Mathematical foundations of programming
PY  - 0000///
CY  - London
PB  - Wesley
ER  -