Frances Perry Lester W. Mackey George A. Reis Jay Ligatti David I. August David Walker Fault-tolerant typed assembly language. 42-53 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250741 db/conf/pldi/pldi2007.html#PerryMRLAW07