Victor F. Nicola F. J. Kylstra A Model of Checkpointing and Recovery with a Specified Number of Transactions between Checkpoints. 83-99 1983 conf/performance/1983 Performance db/conf/performance/performance1983.html#NicolaK83