• a set of services

Behavioral refinement

• improving contracts

Contracts