Diwan, et al.. Type-based Alias Analysis. ACM Press, 1998, doi:10.1145/277650.277670.