https://1library.org/document/zpww38vy-publicacoes-pesc-um-mecanismo-reexecucao-deterministica-programas-paralelos.html