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