An integrated environment of classes and algebraic specifications — Basic notions and concepts