Simon Marlow. Update Avoidance Analysis by Abstract Interpretation. In John T. O'Donnell, Kevin Hammond, editors, Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, pages 170-184, Springer, 1993. [doi]