@InCollection{johnsen04ojd,
  author =	 {Einar Broch Johnsen and Olaf Owe},
  title =	 {Object-Oriented Specification and Open Distributed
                  Systems},
  booktitle =	 {From Object-Orientation to Formal Methods: 
                  Essays in Memory of Ole-Johan Dahl},
  pages =	 "137--164",
  publisher =	 "Springer-Verlag",
  year =	 2004,
  editor =	 {Olaf Owe and Stein Krogdahl and Tom Lyche},
  volume =	 2635,
  series =	 "Lecture Notes in Computer Science"
}