Towards a conceptual model for environment of the algebraic specification language act one - Claßen, Ingo (1991)