Fong Pong Michel Dubois Formal Verification of Complex Coherence Protocols Using Symbolic State Models. 557-587 1998 45 J. ACM 4 http://doi.acm.org/10.1145/285055.285057 db/journals/jacm/jacm45.html#PongD98