"Pointer Analysis of Multithreaded Java Programs."

Mangala Gowri Nanda, S. Ramesh (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics