@InProceedings{johnsen01nik,
  author =	 {Einar Broch Johnsen and Olaf Owe},
  title =	 {A Proof Environment for Partial Specifications in
                  {OUN}},
  booktitle =	 "Proceedings of the Norwegian Informatics Conference
                  ({NIK 2001})",
  pages =	 {29--40},
  publisher =	 "Tapir",
  month =	 nov,
  year =	 2001
}