Weber, Andréa, Elias Procóprio Duarte Jr., e Keiko Verônica Ono Fonseca. “Alternative Specification and Correctness Proofs of the Distributed Network Reachability Algorithm DOI 10.5752/P.2316-9451.2012v1n1p5”. Abakós 1, no. 1 (novembro 30, 2012): 5-27. Acessado novembro 26, 2020. http://periodicos.pucminas.br/index.php/abakos/article/view/P.2316-9451.2012v1n1p5.