Geoffrey L. Burn A Relationship Between Abstract Interpretation and Projection Analysis. 151-156 1990 conf/popl/1990 POPL db/conf/popl/popl90.html#Burn90 http://doi.acm.org/10.1145/96709.96724