Murthy, S.G.K., and K. Raja Sekharam. 2009. “Software Reliability through Theorem Proving”. Defence Science Journal 59 (3), 314-17. https://doi.org/10.14429/dsj.59.1527.