Steve Dunne Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. 2001 conf/iwfm/2001 IWFM http://ewic.bcs.org/conferences/2001/5thformal/papers/paper1.htm db/conf/iwfm/iwfm2001.html#Dunne01