Hawkins, A. J. “Program Logic Foundations: Putting the Logic Back into Program Logic”. Journal of MultiDisciplinary Evaluation, vol. 16, no. 37, Nov. 2020, pp. 38-57, https://journals.sfu.ca/jmde/index.php/jmde_1/article/view/657.