System for equational and rewriting logic specification/programming
