TY  - BOOK
AU  - Martin,James
TI  - System design from provably correct constructs
SN  - 0-13-881483-X
PY  - 1985///
CY  - Englewood Cliffs, NJ
PB  - Prentice-Hall, Inc.
KW  - Electronic digital computers
KW  - Programming
KW  - System design
N1  - The beginnings of true software engineering
ER  -