@InProceedings{dovland04nik,
  author =	 {Johan Dovland and Einar Broch Johnsen and Olaf Owe},
  title =	 {Reasoning about Asynchronous Method Calls and
                  Inheritance},
  booktitle =	 {Proc. of the Norwegian Informatics Conference (NIK'04)},
  editor =       {Chunming Rong},
  pages =        "213--224",
  year =	 2004,
  month =	 nov,
  publisher =	 "Tapir Academic Publisher"
}