Automated theorem proving in software engineering - Schumann, Johann (2000)
München, Techn. Univ., Habil.-Schr., 2000