C. A. R. Hoare Algebra and Models. 1-8 1993 SIGSOFT FSE http://doi.acm.org/10.1145/256428.167053 db/conf/sigsoft/fse93.html#Hoare93