Automated Theorem Proving In Software Engineering by Johann M. Schumann & Johann M.Ph. Schumann