Weber, A., 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”. Abakós, Vol. 1, nº 1, novembro de 2012, p. 5-27, doi:10.5752/P.2316-9451.2012V1N1P5.