Software development : a rigorous approach - Jones, Cliff B. (Clifford B.), 1939. (Englewood Cliffs, N. J. : Prentice-Hall International, 1980)
Includes bibliographical references (p. 371-378) and index.
Keywords: Electronic digital computers -- Programming