Satish Chandra James R. Larus Michael Dahlin Brad Richards Randolph Y. Wang Thomas E. Anderson Experience with a Language for Writing Coherence Protocols. 51-66 1997 conf/dsl/1997 DSL http://www.usenix.org/publications/library/proceedings/dsl97/chandra.html db/conf/dsl/dsl1997.html#ChandraLDRWA97