Geoffrey Watson Compilation by Refinement for a Practical Assembly Language. 286-305 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=286 2003 conf/icfem/2003 ICFEM db/conf/icfem/icfem2003.html#Watson03