TY  - BOOK
AU  - Martin, James
TI  - System design from provably correct constructs
SN  - 013881483X
AV  - QA 76.9 .S88 M37/ 
CY  - Englewood Cliffs
KW  - System design . Electronic digital computers_Programming
ER  -