Searching for points-to analysis - Bruns, Glenn (IEEE Transactions on Software Engineering)