@misc{12990,
  author = {Stein Gjessing and Stein Krogdahl and Ellen Munthe-Kaas},
  title = {Approaching Verification of the SCI Cache Coherence Protocol},
  year = {1990},
  number = {145},
  month = {August,},
  publisher = {Department of Informatics, University of Oslo},
}