Kapurand Zhang. An Overview of Rewrite Rule Laboratory (RRL). Springer Berlin Heidelberg, 1989, doi:10.1007/3-540-51081-8_138.