Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi. Distinctness and Sharing Domains for Static Analysis of Java Programs. In Jørgen Lindskov Knudsen, editor, ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings. Volume 2072 of Lecture Notes in Computer Science, pages 77-98, Springer, 2001. [doi]