It is usually a good idea to leave … act of defining invariants [i.e., check routines] and using them … represented by the classes well defined and regular. … alternative viewpoint and the code will contain redundancy. …
Google-1Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: check routines for class invariants provide an alternative viewpoint of the class and its implementation
Quote: production code should include some of the check routines for class invariants