Gilles Barthe Tamara Rezk Amitabh Basu Security types preserving compilation. 35-59 2007 33 Computer Languages, Systems & Structures 2 http://dx.doi.org/10.1016/j.cl.2005.05.002 db/journals/cl/cl33.html#BartheRB07