Formal development of programs and proofs - Dijkstra, Edsger W. [Ed.] (Reading, Massachusetts Addison-Wesley, 1990)
Keywords: Electronic Digital Computers -- Programming; Computer Programs