MAS, the Modula-2 algebra system, version 1.00. - Heinz Kredel; Michael Pesch (SIGSAM Bull., 1997)

Gröbner Bases in Skew Polynomial Rings. - Michael Pesch (Algorithmic Algebra and Logic, 2005)