Hawkins AJ. Program Logic Foundations: Putting the Logic Back into Program Logic. J Multidiscip Eval [Internet]. 2020 Nov. 19 [cited 2025 Feb. 13];16(37):38-57. Available from: https://jmde.journals.publicknowledgeproject.org/index.php/jmde_1/article/view/657