Nick Benton Andrew Kennedy Lennart Beringer Martin Hofmann Relational semantics for effect-based program transformations with dynamic allocation. 87-96 2007 conf/ppdp/2007 PPDP http://doi.acm.org/10.1145/1273920.1273932 db/conf/ppdp/ppdp2007.html#BentonKBH07