Isabelle Pollet Baudouin Le Charlier Agostino Cortesi Distinctness and Sharing Domains for Static Analysis of Java Programs. 77-98 2001 conf/ecoop/2001 ECOOP http://link.springer.de/link/service/series/0558/bibs/2072/20720077.htm db/conf/ecoop/ecoop2001.html#PolletCC01