Murthy, S.; Sekharam, K. R. Software Reliability through Theorem Proving. DSJ 2009, 59, 314-317.