Joseph M. Morris
Univ. College Dublin, Dublin, Ireland
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction