Title: Fundamentals of Algebraic Specification 2