Software development: A rigorous approach - Jones, Cliff B. (rz1, 1980)