Formal development of programs and proofs - Dijkstra, Edsger Wybe (UT year of programming series, 1990)