OOSC: Ch11 vs. Predecessors
[Meyer:] Equipped with the basic concepts of class, object and genericity, you can by now write software modules that implement possibly parameterized types of data structures.
Congratulations. This is a significant step in the quest for better software architectures.
[But] remember the role played by semantic properties, as expressed by the axioms and preconditions. They are essential to capture the true nature of the type’s instances.