Murthy, S. and Sekharam, K. R. (2009) “Software Reliability through Theorem Proving”, Defence Science Journal, 59(3), pp. 314-317. doi: 10.14429/dsj.59.1527.