Fundamentals of Algebraic Specification 1