Millo, R., R. Lipton, e A. Prelis. «Processos Sociais E demonstrações De Teoremas E Programas». Quadrante, vol. 6, n. 2, Novembro de 2019, pp. 67-89, doi:10.48489/quadrante.22696.