1. Buchberger, B.: A critical-pair/completion algorithm for finitely generated ideals in rings. In: Börger, E., Rödding, D., Hasenjaeger, G. (eds.) Rekursive Kombinatorik 1983. LNCS, vol. 171, pp. 137–161. Springer, Heidelberg (1984)
2. Buchberger, B.: Gröbner Rings in Theorema: A Case Study in Functors and Categories. Tech. Rep. 2003–49, RISC Report Series, Johannes Kepler University Linz, Austria (2003)
3. Buchberger, B.: Towards the automated synthesis of a Gröbner bases Algorithm. RACSAM (Revista de la Real Academia de Ciencias), Serie A: Mathematicas 98(1), 65–75 (2004)
4. Buchberger, B., Craciun, A., Jebelean, T., Kovacs, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4), 470–504 (2006)
5. Craciun, A.: Lazy Thinking Algorithm Synthesis in Gröbner Bases Theory. PhD thesis, RISC, Johannes Kepler University Linz, Austria (2008)