H. Leung, “Program Correctness”, TRIUMPHSAnnals, vol. 1, no. 2, Jun. 2026.