Weber, Andréa, Elias Procóprio Duarte Jr., e Keiko Verônica Ono Fonseca. 2012. “Alternative Specification and Correctness Proofs of the Distributed Network Reachability Algorithm DOI 10.5752/P.2316-9451.2012v1n1p5”. Abakós 1 (1), 5-27. https://doi.org/10.5752/P.2316-9451.2012V1N1P5.