Ramesh V. Peri William A. Wulf Darrell M. Kienzle A Logic of Composition for Information Flow Predicates. 82-94 1996 conf/csfw/1996 CSFW http://csdl.computer.org/comp/proceedings/csfw/1996/7522/00/75220082abs.htm db/conf/csfw/csfw1996.html#PeriWK96