Logical Foundations of Computation: Techniques for Reliable and Efficient Programming. International Journal of Computer Science and Engineering Innovations, [S. l.], v. 2, n. 1, p. 1–9, 2026. DOI: 10.64137/31079458/IJCSEI-V2I1P101. Disponível em: https://internationaljournalssrp.org/index.php/ijcsei/article/view/152. Acesso em: 17 feb. 2026.