An integrated design environment of classes and algebraic specifications