Software development : a rigorous approach / - Jones, C. B. (Prentice/Hall International,, 1980)