A.: A formal approach to recovery by compensating transactions (1990)

by H F Korth, E Levy, Silberschatz
Venue:In: The VLDB Journal