Mark Priestly. The Logic of Correctness in Software Engineering. In Jaelson Castro, Ernest Teniente, editors, Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE 05 Workshops, Vol. 2. pages 463-473, FEUP Edições, Porto, 2005.