Smoothing the transition from formal specification to object-oriented implementation

Introducing ImpSpec - a framework for modifying standard specifications to incorporate object-oriented design techniques.