Title: Reuse of algebraic specifications
Subjects: Algebra, Software engineering, Computer programs