A. Popescu, J. Hölzl, and T. Nipkow, “Formal Verification of Language-Based Concurrent Noninterference”, JFR, vol. 6, no. 1, pp. 1–30, Jan. 2013.