James H. Anderson Mohamed G. Gouda A Criterion for Atomicity. 273-298 1992 4 Formal Asp. Comput. 3 db/journals/fac/fac4.html#AndersonG92