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, Serie SFB F013 Reports, Nummer 2003-49, 2003
Original Titel:
Groebner Rings in Theorema: A Case Study in Functors and Categories