Prosenjit Chatterjee, Ganesh Gopalakrishnan: A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. FMCAD 2002: 292-309