Software development tools - Riddle, W. E. (William E.), 1942-; Fairley, R. E. (Richard E.), 1937- (Springer-Verlag, 1980)