Wes Masri Andy Podgurski Measuring the strength of information flows in programs. 2009 19 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/1571629.1571631 db/journals/tosem/tosem19.html#MasriP09