Millo R, Lipton R, Prelis A. Processos sociais e demonstrações de teoremas e programas. Quadrante [Internet]. 14 de novembro de 2019 [citado 30 de julho de 2025];6(2):67-89. Disponível em: https://quadrante.apm.pt/article/view/22696