Mador-Haim, Alur, Martin, 2011. Litmus tests for comparing memory consistency models, in: . ACM Press.. https://doi.org/10.1145/2024724.2024842