Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems.

Paul Hennessey, Mohamed T. Ibrahim, Alexander M. Fedorec

Browse the full DEXA paper archive.