1. Buchberger, B., Lichtenberger, F. (1980): Mathematik für Informatiker I: Die Methode der Mathematik. Springer, Berlin Heidelberg New York.
2. Buchberger, B. (1996): Symbolic computation: computer algebra and logic. In: Baader, F., Schulz, K. (eds.): Frontiers of combining systems. Kluwer, Dordrecht.
3. Wolfram, S. (1988): Mathematica: a system for doing mathematics by computer. Addison-Wesley, Redwood.
4. Wolfram, S. (1993): An interview with Stephen Wolfram. Mathematica Educ. 2/2.