https://1library.org/document/yjk7402q-um-arcabouco-de-avaliacao-algoritmos-sistemas-quoruns-bizantinos.html