Deriving efficient cache coherence protocols through refinement (1998)

by R Nalumasu, G Gopalakrishnan
Venue:Formal Methods in System Design