Algorithmic algebra - Mishra, Bhubaneswar , 1958-. (Springer-Verlag, 1993)