Jean-Francois Bergeretti Bernard Carré Information-Flow and Data-Flow Analysis of while-Programs. 37-61 1985 7 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/2363.2366 db/journals/toplas/toplas7.html#BergerettiC85