Millo, R., Lipton, R., & Prelis, A. (2019). Processos sociais e demonstrações de teoremas e programas. Quadrante, 6(2), 67–89. https://doi.org/10.48489/quadrante.22696