ELAN is an algebraic specification formalism that first introduced RewritingStrategies. *Homepage:* http://elan.loria.fr *Contact:* ELAN <elan@loria.fr> *Influences* * AlgebraicSpecification * OBJ * RewritingLogic