1. A formal specification of Intel Itanium processor family memory ordering, October 2002. Intel Document 251429-001
2. Adir A, Shurek G (2002) Generating concurrent test-programs with collisions for multi-processor verification. In: HLDVT
3. Adir A, Attiya H, Shurek G (2003) Information-flow models for shared Memory with an application to the PowerPC architecture. In: TPDS
4. Adve SV, Gharachorloo K (1995) Shared memory consistency models: a tutorial. Computer 29:66–76
5. Ahamad M, Bazzi RA, John R, Kohli P, Neiger G (1993) The power of processor consistency. In: SPAA