Geoffrey Watson Colin J. Fidge A Partial-Correctness Semantics for Modelling Assembler Programs. 82-90 2003 conf/sefm/2003 SEFM http://csdl.computer.org/comp/proceedings/sefm/2003/1949/00/19490082abs.htm db/conf/sefm/sefm2003.html#WatsonF03