S. Murthy and K. R. Sekharam, “Software Reliability through Theorem Proving”, Def. Sc. J., vol. 59, no. 3, pp. 314–317, May 2009.