Charles Wallace, Yuri Gurevich, Nandit Soparkar: Formalizing Recovery in Transaction-Oriented Database Systems. COMAD 1995