Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono - Conceição, Sérgio Ricardo da (1997)