TY - BOOK AU - Jones,C.B. TI - Software development : : a rigorous approach SN - 0138218846 U1 - 001.642 23 PY - 1980/// CY - Englewood Cliffs, N.J. : PB - Prentice/Hall International KW - Computer software KW - Development N1 - Includes index; Bibliography: p. 371-378 ER -