Millo, Richard, Richard Lipton, e Alan Prelis. «Processos Sociais E demonstrações De Teoremas E Programas». Quadrante 6, no. 2 (Novembro 14, 2019): 67–89. Acedido Abril 20, 2025. https://quadrante.apm.pt/article/view/22696.