Moshe Deutsch Martin C. Henson An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. 38-48 2003 conf/apsec/2003 APSEC http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110038abs.htm db/conf/apsec/apsec2003.html#DeutschH03