@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.}
}
