Automated Theorem Proving in Software Engineering - Schumann, Johann M. (Springer Berlin Heidelberg, 2001)