TRSPEC: a term based system for algebraic specifications