Atomic Transactions by Michael Merritt, Nancy A. Lynch & Nancy Lynch