@InProceedings{yu06fmoods,
  author =	 {Ingrid Chieh Yu and Einar Broch Johnsen and Olaf Owe},
  title =	 {Type-Safe Runtime Class Upgrades in {C}reol},
  booktitle =	 {Proc. 8th International Conference on Formal Methods
                  for Open Object-Based Distributed Systems ({FMOODS}'06)},
  editor =	 {Roberto Gorrieri and Heike Wehrheim},
  series =	 {Lecture Notes in Computer Science},
  volume =	 4037,
  publisher =	 {Springer-Verlag},
  pages =	 {202--217},
  month =	 jun,
  year =	 2006,
}