Popescu, A., J. Hölzl, and T. Nipkow. “Formal Verification of Language-Based Concurrent Noninterference”. Journal of Formalized Reasoning, vol. 6, no. 1, Jan. 2013, pp. 1-30, doi:10.6092/issn.1972-5787/3690.