https://1library.org/document/q06e2pxq-verificacao-pratica-de-anomalias-em-programas-memoria-transaccional.html