HAWKINS, A. J. Program Logic Foundations: Putting the Logic Back into Program Logic. Journal of MultiDisciplinary Evaluation, [S. l.], v. 16, n. 37, p. 38–57, 2020. Disponível em: https://journals.sfu.ca/jmde/index.php/jmde_1/article/view/657. Acesso em: 25 sep. 2022.