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 outubro 10, 2025. https://quadrante.apm.pt/article/view/22696.