Murthy, S.G.K., and K. Raja Sekharam. “Software Reliability through Theorem Proving”. Defence Science Journal 59, no. 3 (May 1, 2009): 314–317. Accessed July 7, 2025. https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/1527.