@inproceedings{johnsen05fmco,
  author =	 {Einar Broch Johnsen and Olaf Owe},
  title =	 {A Dynamic Binding Strategy for Multiple Inheritance
                  and Asynchronously Communicating Objects},
  booktitle =	 {Proc. 3rd International Symposium on Formal Methods for
                  Components and Objects ({FMCO} 2004)},
  editor =	 {Frank S. de Boer and Marcello M. Bonsangue and
                  Susanne Graf and Willem-Paul de Roever},
  series =	 {Lecture Notes in Computer Science},
  volume =	 3657,
  publisher =	 {Springer-Verlag},
  pages =	 {274--295},
  year =	 2005
}