On Equal Terms. Implementing Algebraic Specifications