Sameer Ajmani Barbara Liskov Liuba Shrira Modular Software Upgrades for Distributed Systems. 452-476 2006 conf/ecoop/2006 ECOOP http://dx.doi.org/10.1007/11785477_26 db/conf/ecoop/ecoop2006.html#AjmaniLS06