[Baader99] Baader, F. and Nipkow, T., Term Rewriting and All That, Cambridge University Press, 1999.
[Bezem03] Bezem, M., Klop, J.W. and Vrijer, R., Term rewriting systems, Cambridge tracts in theoretical computer science. Cambridge University Press, 2003.
[Turchin89] Turchin, V. F., REFAL-5 Programming Guide and Reference Manual, The City College of New York, New England Publishing Co., Holyoke., 1989.
[Surhone10] Surhone, L.M., Timpledon, M.T. and Marseken, S.F., Refal, VDM Verlag Dr. Mueller AG & Co. Kg, 2010.
[Wolfram] “Wolfram Mathematica.”