Li Jiang, Lingdi Ping, Xuezeng Pan. Handling Information Release and Erasure in Multi-Threaded Programs. In Computational Intelligence and Security, International Conference, CIS 2007, Harbin, Heilongjiang, China, December 15-19, 2007. pages 824-828, IEEE Computer Society, 2007. [doi]