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