@InProceedings{johnsen02fmppta,
  author =	 {Einar Broch Johnsen and Olaf Owe},
  title =	 {Composition and Refinement for Partial Object
                  Specifications},
  booktitle =	 {Proceedings of the 16th International Parallel \&
                  Distributed Processing Symposium {(IPDPS 2002)}, 
                  Workshop on Formal Methods for Parallel Programming:
                  Theory and Applications ({FMPPTA 2002})},
  publisher =	 {IEEE Computer Society Press},
  month =	 apr,
  year =	 2002,
}