WEBER, A.; DUARTE JR., E. P.; FONSECA, K. V. O. Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5. Abakós, v. 1, n. 1, p. 5-27, 30 nov. 2012.