Reinfelds, Juris, Lecture notes on the science of programming for CSCI121, Department of Computing Science, University of Wollongong, Working Paper 85-12, 1985, 25p.
The first book on the derivation of correct programs with the help of predicate calculus was "A Discipline of Programming" by E.W. Dijkstra which was published by Prentice Hallin 1976. Each chapter of this book derives a beautiful and remarkably simple program for problems which range from easy to very difficult. The derivation of most of these programs requires creative ability of a very high order.