Weber, A., Duarte Jr., E.P. e Fonseca, K.V.O. 2012. Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5. Abakós. 1, 1 (nov. 2012), 5-27. DOI:https://doi.org/10.5752/P.2316-9451.2012V1N1P5.