4 works on record
Automated deduction
Theorie der logischen Programmierung
Verification of Object-Oriented Software. the KeY Approach
Deductive Software Verification - the KeY Book