Millo, R., Lipton, R. and Prelis, A. 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.