Komp'juternaja algebra : SIMVOL'NYE I ALGEBRAIčESKIE VYčISLENIJA - Buchberger, B.; Collins, G.E; Loos, R. (Mir - Moskva, 1986)