@InProceedings{johnsen05fmoods,
  author =	 {Einar Broch Johnsen and Olaf Owe and Isabelle
                  Simplot-Ryl},
  title =	 {A Dynamic Class Construct for Asynchronous
                  Concurrent Objects},
  booktitle =	 {Proc. 7th International Conference on Formal Methods
                  for Open Object-Based Distributed Systems
                  ({FMOODS}'05)},
  editor =	 {Martin Steffen and Gianluigi Zavattaro},
  series =	 {Lecture Notes in Computer Science},
  volume =	 3535,
  publisher =	 {Springer-Verlag},
  pages =	 {15--30},
  month =	 jun,
  year =	 2005,
}