“Logical Foundations of Computation: Techniques for Reliable and Efficient Programming”, IJCSEI, vol. 2, no. 1, pp. 1–9, Jan. 2026, doi: 10.64137/31079458/IJCSEI-V2I1P101.