@inproceedings{korth:formal:vldb:1990,
  author	= {Korth, Henry F. and Levy, Eliezer and Silberschatz, Abraham},
  title		= {A Formal Approach to Recovery by Compensating Transactions},
  booktitle	= {VLDB~'90: Proc. 16th International Conference on Very Large Data Bases},
  year		= {1990},
  month		= {aug},
  isbn		= {1-55860-149-X},
  pages		= {95--106},
  publisher	= {Morgan Kaufmann Publishers Inc.},
}