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