Checkpointing and rollback recovery for distributed systems - Koo, Richard; Toueg, Sam (Cornell University <Ithaca, NY> / Department of Computer Science: Technical report, 1985)