Title: Fundamentals of algebraic specification
Subjects: Algebra, Data structures (Computer science)