Verification of Object-Oriented Software. The KeY Approach - Beckert, Bernhard (Springer Berlin Heidelberg, 2007)