TY  - BOOK
AU  - Jones, Cliff B
TI  - Software development : a rigorous approach
T2  - Prentice hall international series in computer science
SN  - 0138218846
U1  - 004 
PY  - 1980///
CY  - New Jersey
PB  - Prentice hall
ER  -