Verification Of Object-Oriented Software door B.A. Beckert