TY  - BOOK
AU  - Martin,James
TI  - System design from provably correct constructs: the beginnings of true software engineering 
SN  - 013881483X :
AV  - QA76.9.S88 M37 1985
U1  - 001.64/25 19
PY  - 1985///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - System design
KW  - Software engineering
N1  - Includes bibliographies and index
ER  -