Mecanismos de checkpointing para aplicações paralelas de cálculo científico - Luís Alexandre Serras de Moura e Silva (1997)