Leung, Hing. “Program Correctness”. Annals of the TRIUMPHS Society, vol. 1, no. 2, June 2026, https://triumphsannals.journals.publicknowledgeproject.org/index.php/triumphsannals/article/view/18194.