Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino (Paperback, 2007)