Rodrigo Schmidt Fernando Pedone A Formal Analysis of the Deferred Update Technique. 16-30 2007 OPODIS http://dx.doi.org/10.1007/978-3-540-77096-1_2 conf/opodis/2007 db/conf/opodis/opodis2007.html#SchmidtP07