Aditya Kanade Uday P. Khedker Amitabha Sanyal Heterogeneous Fixed Points with Application to Points-To Analysis. 298-314 2005 conf/aplas/2005 APLAS http://dx.doi.org/10.1007/11575467_20 db/conf/aplas/aplas2005.html#KanadeKS05