5 books • 3 series
Book #6: Fundamentals of Algebraic Specification 1
Book #21: Fundamentals of Algebraic Specification 2
