Bruno Buchberger,
"Groebner Rings in Theorema: A Case Study in Functors and Categories"
, in SFB (Special Research Area) Scientific Computing, Johannes Kepler University, Linz, Austria, in Technical Report 2003-46, 2003
Original Titel:
Groebner Rings in Theorema: A Case Study in Functors and Categories