for et spilprogram samt at par almindeligt anvendte typer af moduler, der repræsenterer registre (objektsamlinger). Kapitlerne 2 til og med 6 behandler kontrakter for en række abstrakte datatyper. Derefter følger et kapitel, hvor bogen udvikler kontrakter for subtyper. I kapitlet om subtyper gennemgås Liskovs substitutionsprincip. Bogens sidste kapitel beskæftiger sig med kontrakter for et rammesystem, der realiserer designmønstret Observer.