Moshe Deutsch Martin C. Henson Besnik Kajtazi Modular refinement in novel schema calculi. 197- 2003 conf/apsec/2003 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2003.1254372 db/conf/apsec/apsec2003.html#DeutschHK03