R. Millo, R. Lipton, e A. Prelis, «Processos sociais e demonstrações de teoremas e programas», Quadrante, vol. 6, n.º 2, pp. 67–89, nov. 2019.