On the optimum checkpoint selection problem - Toueg, Sam; Babaoğlu, Özalp (1983)
Keywords: Computer programs; Data structures (Computer programs)