HAWKINS, Andrew J. Program Logic Foundations: Putting the Logic Back into Program Logic. Journal of MultiDisciplinary Evaluation, Kalamazoo, MI, v. 16, n. 37, p. 38–57, 2020. DOI: 10.56645/jmde.v16i37.657. Disponível em: https://journals.sfu.ca/jmde/index.php/jmde_1/article/view/657. Acesso em: 19 apr. 2024.