Beringerand Hofmann. Secure Information Flow and Program Logics. IEEE, 2007, doi:10.1109/csf.2007.30.