TY  - BOOK
AU  - CHAPMAN
TI  - MATHEMATICS OF PROGRAM CONSTRUCTION 
PB  - THOMSON LEARNING
ER  -