Fundamental problems of algorithmic algebra - Yap, Chee-Keng (Oxford University Press, 2000)