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