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