Lecture – 7 Algebraic Specification Methods