Software development : a rigorous approach - Jones, C. B. (Cliff B.), 1944- (Englewood Cliffs, N.J. : Prentice/Hall International, 1980)
Includes index.
Bibliography: p. 371-378.
Keywords: Computer programming