Ricardo Medel Adriana B. Compagnoni Eduardo Bonelli A Typed Assembly Language for Non-interference. 360-374 2005 conf/ictcs/2005 ICTCS http://dx.doi.org/10.1007/11560586_29 db/conf/ictcs/ictcs2005.html#MedelCB05