Implementation Of Term Rewriting-Based Programming Languages by Nadia Nedjah & Luiza de Macedo Mourelle