Automated theorem proving in software engineering - Schumann, Johann (Springer, 2001)