Gareth Stoyle Michael W. Hicks Gavin M. Bierman Peter Sewell Iulian Neamtiu <i>Mutatis Mutandis</i>: Safe and predictable dynamic software updating. 2007 29 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/1255450.1255455 db/journals/toplas/toplas29.html#StoyleHBSN07