“Logical Foundations of Computation: Techniques for Reliable and Efficient Programming” (2026) International Journal of Computer Science and Engineering Innovations, 2(1), pp. 1–9. doi:10.64137/31079458/IJCSEI-V2I1P101.