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