Hagit Attiya Soma Chaudhuri Roy Friedman Jennifer L. Welch Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies. 65-89 1998 27 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp27.html#AttiyaCFW98