Millo, R.; Lipton, R.; Prelis, A. Processos Sociais E demonstrações De Teoremas E Programas. Quadrante 2019, 6, 67-89.