Programmer-Centric Memory Consistency Modeling. - Lisa Higham; Jalal Kawash; Abhijeet Pareek Pareek (Bull. EATCS, 2011)