Murthy, S., & Sekharam, K. R. (2009). Software Reliability through Theorem Proving. Defence Science Journal, 59(3), 314-317. https://doi.org/10.14429/dsj.59.1527