1. The SPARC architecture manual, v. 9,
http://www.sparc.org/technical-documents/
,
http://www.dev
2. Programming Languages — C (2011), ISO/IEC 9899:2011,
http://www.open-std.org/jtc1/sc22/wg14/docs/n1539.pdf
3. Adve, S.V., Hill, M.D.: Weak ordering — a new definition. In: ISCA (1990)
4. Alglave, J., Maranget, L., Tautschnig, M.: Herding cats: Modelling, simulation, testing, and data mining for weak memory. ACM TOPLAS, 36(2) (2014)
5. Batty, M.: The C11 and C++11 concurrency model. PhD thesis, University of Cambridge (2014),
http://www.cl.cam.ac.uk/~mjb220/battythesis.pdf