TY  - BOOK
AU  - Jones,Cliff B.
TI  - Software development: a rigorous approach 
SN  - 0138218846 (hbk.)
PY  - 1980///
CY  - Englewood Cliffs, N. J.
PB  - Prentice-Hall International
KW  - Electronic digital computers
KW  - Programming
N1  - Includes bibliographical references (p. 371-378) and index
ER  -