KOMPJUTERNAJA ALGEBRA. SIMBOĽNYJE I ALGEBRAIČESKIJE VYČISLENIJA - Buchberger, Bruno (Mir, 1986)