Formal development of programs and proofs. - Dijkstra, Edsger W. (London : Addison-Wesley Publishing Company, Inc., 1990)