Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists). - Jörg Bormann; Christoph Spalinger (Informationstechnik Tech. Inform., 2001)