Equivalence relations (PDF)
Algebraic systems
Algebraic specification components (PDF)