Atomic Transactions (1994)

by N Lynch, M Merritt, W Weihl, A Fekete