[1]Contracts are similar to types of the public object module of a block [Jacobson, 1991].
²This view is found in [Meyer, 1988]. The language Eiffel actually checks preconditions and postconditions.
³Other terms are used instead of subsystems. [de Champeaux, 1993] uses the term "ensembles."