| [Baader99] | | Baader, F. and Nipkow, T., Term Rewriting and All That, Cambridge University Press, 1999. http://books.google.com/books?id=N7BvXVUCQk8C |
| [Bezem03] | | Bezem, M., Klop, J.W. and Vrijer, R., Term rewriting systems, Cambridge tracts in theoretical computer science. Cambridge University Press, 2003. http://books.google.com/books?id=oe3QKzhFEBAC |
| [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. http://books.google.com/books?id=SH2rcQAACAAJ |
| [Wolfram] | | “Wolfram Mathematica.” http://www.wolfram.com/mathematica/ |