Mador-Haim, et al.. Litmus Tests for Comparing Memory Consistency Models. ACM Press, 2011, doi:10.1145/2024724.2024842.