Dynamic rebinding for marshalling and update, with destruct-time? - Gavin M. Bierman; Michael W. Hicks; Peter Sewell; Gareth Paul Stoyle; Keith Wansbrough (ICFP, 2003)

Mutatis mutandis: safe and predictable dynamic software updating. - Gareth Paul Stoyle; Michael W. Hicks; Gavin M. Bierman; Peter Sewell; Iulian Neamtiu (POPL, 2005)

Practical dynamic software updating for C. - Iulian Neamtiu; Michael W. Hicks; Gareth Paul Stoyle; Manuel Oriol (PLDI, 2006)

Mutatis Mutandis: Safe and predictable dynamic software updating. - Gareth Paul Stoyle; Michael W. Hicks; Gavin M. Bierman; Peter Sewell; Iulian Neamtiu (ACM Trans. Program. Lang. Syst., 2007)

A theory of dynamic software updates. - Gareth Paul Stoyle (2007)

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. - Peter Sewell; Gareth Paul Stoyle; Michael Hicks 001; Gavin M. Bierman; Keith Wansbrough (J. Funct. Program., 2008)