A. Weber, E. P. Duarte Jr., e K. V. O. Fonseca, “Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5”, Abakos, vol. 1, nº 1, p. 5-27, nov. 2012.