Hawkins, A. J. Program Logic Foundations: Putting the Logic Back into Program Logic. J Multidiscip Eval 2020, 16, 38-57.