Software development : a rigorous approach - Jones, Clifford (Prentice-Hall International series in computer science, 1980)