Title: Fundamentals of Algebraic Specification 1