Hawkins, Andrew J. “Program Logic Foundations: Putting the Logic Back into Program Logic”. Journal of MultiDisciplinary Evaluation, vol. 16, no. 37, Nov. 2020, pp. 38-57, doi:10.56645/jmde.v16i37.657.