Popescu, A., Hölzl, J. and Nipkow, T. 2013. Formal Verification of Language-Based Concurrent Noninterference. Journal of Formalized Reasoning. 6, 1 (Jan. 2013), 1–30. DOI:https://doi.org/10.6092/issn.1972-5787/3690.