Text this: Fundamentals of Algebraic Specification 1 :