Michael J. Magazine Optimality of Intuitive Checkpointing Policies. 63-66 1983 17 Inf. Process. Lett. 2 db/journals/ipl/ipl17.html#Magazine83