https://1library.org/document/y492x5vz-mesobi-memoria-transacional-em-software-tolerante-faltas-bizantinas.html