G. R. Pearce, “Three Approaches to Logical Correctness”, LLP, vol. 34, no. 1, pp. 3–37, Mar. 2024.