Millo, Richard, Richard Lipton, e Alan Prelis. 2019. «Processos Sociais E demonstrações De Teoremas E Programas». Quadrante 6 (2):67-89. https://doi.org/10.48489/quadrante.22696.