Cris Pedregal Martin Krithi Ramamritham Toward Formalizing Recovery of (Advanced) Transactions. 0- 1997 Advanced Transaction Models and Architectures db/books/collections/JajodiaK97.html#MartinR97