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.