Бухбергер Б., Калме Ж., Калтофен Э., Коллинз Дж., Лауэр М., Лафон Ж., Лоос Р., Минньотт М., Нойбюзер И., Норман А., Уинклер Ф., ван Хюльзен Я. (1986) Компьютерная алгебра. Символьные и алгебраические вычисления.