Popescu, Andrei, Johannes Hölzl, and Tobias Nipkow. “Formal Verification of Language-Based Concurrent Noninterference”. Journal of Formalized Reasoning 6, no. 1 (January 1, 2013): 1–30. Accessed December 4, 2022. https://jfr.unibo.it/article/view/3690.