1. P. A. Abdulla, M. F. Atig, B. Jonsson, and T. P. Ngo. 2018. Optimal stateless model checking under the release-acquire semantics. PACMPL 2, OOPSLA (2018), 135:1--135:29.
2. Jean-Raymond Abrial. 2010. Modeling in Event-B: system and software engineering. Cambridge University Press.
3. Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, ThaiSon Hoang, Farhad Mehta, and Laurent Voisin. 2010. Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer 12, 6 (2010), 447--466.
4. S. V. Adve and H.-J. Boehm. 2011. Memory Models. In Encyclopedia of Parallel Computing. Springer, 1107--1110.
5. M. Batty, A. F. Donaldson, and J. Wickerson. 2016. Overhauling SC atomics in C11 and OpenCL. In POPL. ACM, 634--648.