Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems. - Paul Hennessey; Mohamed T. Ibrahim; Alexander M. Fedorec (DEXA, 1996)