Leung, Hing. 2026. “Program Correctness”. Annals of the TRIUMPHS Society 1 (2). https://ticket17180.pkpmisc01.publicknowledgeproject.org/index.php/triumphsannals/article/view/18194.