Millo, R. et al. 2019. Processos sociais e demonstrações de teoremas e programas. Quadrante. 6, 2 (nov. 2019), 67–89. DOI:https://doi.org/10.48489/quadrante.22696.