A correctness condition for high-performance multiprocessors. - Attiya, Hagit; Friedman, Roy (SIAM Journal on Computing, 1998)