Barbieri, Rodrigo, and Gustavo M. D. Vieira.
" Hardened Paxos through Consistency Validation." <em>Anais do V Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Foz do Iguaçu/PR, 2015</em>. SBC, 2015,  
pp.9-21.