Brand, et al.. Environments for Term Rewriting Engines for Free!. Springer Berlin Heidelberg, 2003, doi:10.1007/3-540-44881-0_30.