Daniel Frampton Stephen M. Blackburn Perry Cheng Robin Garner David Grove J. Eliot B. Moss Sergey I. Salishev Demystifying magic: high-level low-level programming. 81-90 2009 VEE http://doi.acm.org/10.1145/1508293.1508305 conf/vee/2009 db/conf/vee/vee2009.html#FramptonBCGGMS09