Fences in weak memory models References Owens, S., Sarkar, S. and Sewell, P. 2009. A better x86 memory model: x86-TSO. Theorem Proving in Higher Order Logics. (2009), 391–407.