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