Eric C. R. Hehner Retrospective and Prospective for Unifying Theories of Programming. 1-17 2006 conf/utp/2006 UTP http://dx.doi.org/10.1007/11768173_1 db/conf/utp/utp2006.html#Hehner06