Verification of object-oriented software : the key approach - Beckert, Bernhard; Hähnle, Reiner, 1962-; Schmitt, Peter H., 1948- (Lecture notes in artificial intelligence ;, 2007)