Atanas Rountev Ana Milanova Barbara G. Ryder Points-To Analysis for Java using Annotated Constraints. 43-55 2001 OOPSLA db/conf/oopsla/oopsla2001.html#RountevMR01