Millo, Richard, et al. «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.