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