Ma KK, Foster JS.  2007.  Inferring aliasing and encapsulation properties for Java. ACM SIGPLAN Notices. 42(10):423-440.