Hawkins, Andrew J. “Program Logic Foundations: Putting the Logic Back into Program Logic”. Journal of MultiDisciplinary Evaluation 16, no. 37 (November 19, 2020): 38–57. Accessed April 23, 2024. https://journals.sfu.ca/jmde/index.php/jmde_1/article/view/657.