Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino - Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. (Springer Berlin Heidelberg, 2007)