First course in computational algebraic geometry - Decker, Wolfram (New Delhi Cambridge university, 2013)