Jean-Pierre Banâtre Ciarán Bryce Daniel Le Métayer Compile-Time Detection of Information Flow in Sequential Programs. 55-73 1994 conf/esorics/1994 ESORICS http://dx.doi.org/10.1007/3-540-58618-0_56 db/conf/esorics/esorics1994.html#BanatreBM94