2This sublanguage is essentially an extension of the OBJ3 equational language [79], which has greatly influenced the design of Maude.