Formal development of programs and proofs - Dijkstra, Edsger Wybe. (Reading, Mass. Addison-Wesley, 1990)
Keywords: Electronic digital computers -- Programming -- Congresses