Hawkins, A. J. (2020). Program Logic Foundations: Putting the Logic Back into Program Logic. Journal of MultiDisciplinary Evaluation, 16(37), 38–57. Retrieved from https://journals.sfu.ca/jmde/index.php/jmde_1/article/view/657