Software development : a rigorous approach - Jones, Cliff B. (Prentice-Hall International Series in Computer Science / C. A. R. Hoare, series editor, 1980)