A. J. Hawkins, “Program Logic Foundations: Putting the Logic Back into Program Logic”, J Multidiscip Eval, vol. 16, no. 37, pp. 38–57, Nov. 2020.