Algebraic specification snippets using Maude