Hanne Riis Nielson, Flemming Nielson, Ximeng Li. Hoare Logic for Disjunctive Information Flow. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 47-65, Springer, 2015. [doi]