Eric Bodden Patrick Lam Laurie J. Hendren Object representatives: a uniform abstraction for pointer information. 391-405 2008 BCS Int. Acad. Conf. http://www.bcs.org/server.php?show=ConWebDoc.22982 conf/bcs/2008 db/conf/bcs/bcs2008.html#BoddenLH08