(1)
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. Abakos 2012, 1, 5-27.