Mark Marron Mario Méndez-Lojo Manuel V. Hermenegildo Darko Stefanovic Deepak Kapur Sharing analysis of arrays, collections, and recursive structures. 43-49 2008 PASTE http://doi.acm.org/10.1145/1512475.1512485 conf/paste/2008 db/conf/paste/paste2008.html#MarronMHSK08