Leung, H. 2026. Program Correctness. Annals of the TRIUMPHS Society. 1, 2 (Jun. 2026).