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), p. 5-27. doi: 10.5752/P.2316-9451.2012V1N1P5.