@inproceedings {Simula.ND.57,
	title = {Not a Real Paper - a Dummy to Demonstrate the Coauthorship Process at Simula},
	journal = {First International Conference on Time-Wasting in Computer Science},
	year = {2007},
	note = {This paper will be deleted when the submission system has been demonstrated.},
	month = {December},
	pages = {1-1012},
	publisher = {Carsten},
	type = {Annual},
	abstract = {This is only a dummy paper. Matnat intends to introduce new forms that must be filled in by each PhD student for each paper published. This is -of course- a Word-for-Windows-only form that must be filled in, then printed, and then distributed. This dummy paper demonstrates how the process can be solved with the help of web tools.},
	author = {Griwodz, Carsten and Korsnes, Lena and Christophersen, Nils and Krogdahl, Stein and {\"O}lveczky, Peter Csaba and S{\o}berg, Jarle and Tor Sverre {Lande} and Hagen, Janne}
}
@article {ND.4.Krogdahl.2002,
	title = {On Verification of Parallel Message-Passing Processes},
	journal = {Formal Aspects of Computing},
	volume = {13},
	number = {6},
	year = {2002},
	pages = {471-492},
	publisher = {Springer},
	author = {Krogdahl, Stein and Lysne, Olav}
}
@article {ND.4.Krogdahl.1997,
	title = {Verifying a Distributed List System: a Case History},
	journal = {Formal Aspects of Computing},
	volume = {9},
	year = {1997},
	pages = {98-118,},
	author = {Krogdahl, Stein and Lysne, Olav}
}
@techreport {ND.7.Lysne.1993,
	title = {Verifying a Distributed List System: a Case History},
	number = {182},
	year = {1993},
	publisher = {Department of Informatics, University of Oslo},
	author = {Krogdahl, Stein and Lysne, Olav}
}
@inproceedings {ND.5.Gjessing.1992.a,
	title = {A Top Down Approach to the Formal Specification of SCI Cache Coherence},
	journal = {Computer Aided Verification, 3rd International Workshop (CAV{\textquoteright}91)},
	year = {1992},
	publisher = {Springer-Verlag},
	type = {1},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen},
	editor = {K. G. {Larsen} and Skou, A.}
}
@techreport {ND.7.Gjessing.1990.b,
	title = {Approaching Verification of the SCI Cache Coherence Protocol},
	number = {145},
	year = {1990},
	month = {August,},
	publisher = {Department of Informatics, University of Oslo},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}
}
@techreport {ND.7.Gjessing.1990.a,
	title = {A Top Down Approach to the Formal Specification of SCI Cache Coherence},
	number = {146},
	year = {1990},
	month = {August,},
	publisher = {Department of Informatics, University of Oslo},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}
}
@inproceedings {ND.6.Gjessing.1989,
	title = {Formal Specification and Verification of SCI Cache Coherence},
	journal = {Norsk Informatikk Konferanse},
	year = {1989},
	month = {november,},
	type = {1},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}
}
@misc {ND.8.Gjessing.1984.a,
	title = {Datastart, Maskinarbeidsbok I Turbo-Pascal and Compas-Pascal},
	howpublished = {Misc},
	year = {1984},
	note = {Textbook in Norwegian},
	author = {Gjessing, Stein and Krogdahl, Stein}
}
