Describir: Formal development of programs and proofs / edited by Edsger W. Dijkstra.