Argues that to provide better support for software reuse, object-oriented programming languages must be supplemented with a specification language which can provide precise semantic specifications of reusable components.