Henning Dierks Michael Schenke A Unifying Framework for Correct Program Construction. 122-150 http://link.springer.de/link/service/series/0558/bibs/1422/14220122.htm 1998 conf/mpc/1998 MPC db/conf/mpc/mpc98.html#DierksS98