Aleksandar Nanevski Paul Govereau Greg Morrisett Towards type-theoretic semantics for transactional concurrency. 79-90 2009 TLDI http://doi.acm.org/10.1145/1481861.1481872 conf/tldi/2009 db/conf/tldi/tldi2009.html#NanevskiGM09