Walter Guttmann. Unifying Correctness Statements. In Jeremy Gibbons, Pablo Nogueira, editors, Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Volume 7342 of Lecture Notes in Computer Science, pages 198-219, Springer, 2012. [doi]
Abstract is missing.