Nick Benton Andrew Kennedy Lennart Beringer Martin Hofmann Relational semantics for effect-based program transformations: higher-order store. 301-312 2009 PPDP http://doi.acm.org/10.1145/1599410.1599447 conf/ppdp/2009 db/conf/ppdp/ppdp2009.html#BentonKBH09