Formal Development of Programs and Proofs, Edsger W. Dijkstra (Ed.), Addison-Wesley, 1990 (informationswissenschaftl. Veröffentlichungen)