A Tutorial Introduction to the ARM and Power Relaxed Memory Models (2012) [pdf]cl.cam.ac.uk1 pointmhh__6 years ago