MURTHY, S.; SEKHARAM, K. R. Software Reliability through Theorem Proving. Defence Science Journal, v. 59, n. 3, p. 314-317, 1 maio 2009.