Implementation of Term Rewriting-Based Programming Languages: Advances in Computation: Theory and Practice (Advances in the Theory of Computational Mathematics, V. 13.)