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 October 3, 2022. https://journals.sfu.ca/jmde/index.php/jmde_1/article/view/657.