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 April 18, 2024. https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/1527.