Verification of object-oriented software by Bernhard Beckert | Menrva Books | MenrvaBooks