Information-Flow and Data-Flow Analysis of while-Programs. - Jean-Francois Bergeretti; Bernard Carré (ACM Trans. Program. Lang. Syst., 1985)