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