Ratan Nalumasu Ganesh Gopalakrishnan Deriving Efficient Cache Coherence Protocols Through Refinement. 107-125 2002 20 Formal Methods in System Design 1 db/journals/fmsd/fmsd20.html#NalumasuG02