@article{SCAM-J-2001-AndersonBRT02,
	author        = "Paul Anderson and David Binkley and Genevieve Rosay and Tim Teitelbaum",
	doi           = "10.1016/S0950-5849(02)00105-2",
	journal       = "{Information & Software Technology}",
	number        = 13,
	pages         = "743--754",
	title         = "{Flow insensitive points-to sets}",
	volume        = 44,
	year          = 2002,
}