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