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