Suresh Jagannathan Peter Thiemann Stephen Weeks Andrew K. Wright Single and Loving It: Must-Alias Analysis for Higher-Order Languages. 329-341 1998 POPL http://doi.acm.org/10.1145/268946.268973 db/conf/popl/popl98.html#JagannathanTWW98