Software development : a rigorous approach - Jones, C. B. 1944- (Prentice-Hall International series in computer science, 1980)