Stein Gjessing Stein Krogdahl Ellen Munthe-Kaas A Top Down Approach to the Formal Specification of SCI Cache Coherence. 83-91 1991 conf/cav/1991 CAV db/conf/cav/cav91.html#GjessingKM91 http://dx.doi.org/10.1007/3-540-55179-4_9