Steve Dunne, Ian J. Hayes, Andy Galloway. Reasoning about Loops in Total and General Correctness. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Volume 5713 of Lecture Notes in Computer Science, pages 62-81, Springer, 2008. [doi]