Michelle Mills Strout John M. Mellor-Crummey Paul D. Hovland Representation-independent program analysis. 67-74 2005 conf/paste/2005 PASTE https://doi.org/10.1145/1108792.1108810 db/conf/paste/paste2005.html#StroutMH05