Classified Model : Abstract Data Type Specification ∗