Points-to for Java: A general framework and an emprirical comparison (2000)

by M Streckenbach, G Snelting