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