yallop Merge pull request #41 from z3t1/patch-2
Add link to *A Calculus for Relaxed Memory*
Latest commit 7ae79db May 23, 2016