LEUNG, Hing. Program Correctness. Annals of the TRIUMPHS Society, [S. l.], v. 1, n. 2, 2026. Disponível em: https://triumphsannals.journals.publicknowledgeproject.org/index.php/triumphsannals/article/view/18194. Acesso em: 10 jul. 2026.