Modular Software Upgrades for Distributed Systems, Sameer Ajmani, Barbara Liskov, Liuba Shrira, European Conference on Object-Oriented Programming (ECOOP), 2006.
