Jörgen Gustavsson A Type Based Sharing Analysis for Update Avoidance and Optimisation. 39-50 1998 ICFP http://doi.acm.org/10.1145/289423.289427 db/conf/icfp/icfp98.html#Gustavsson98