Wolfram Kahl Christopher Kumar Anand Jacques Carette Control-Flow Semantics for Assembly-Level Data-Flow Graphs. 147-160 2005 conf/RelMiCS/2005 RelMiCS http://dx.doi.org/10.1007/11734673_12 db/conf/RelMiCS/RelMiCS2005.html#KahlAC05