It is not true that Singular and Macaulay 2 use the same "computational engine (singular)"
As far as books are concerned -
"Computational Algebraic Geometry'', by Hal Schenck is fantastic. Cambridge University Press, (2003).
http://www.amazon.com/Computational-Algebraic-Geometry-Mathematical-Society/dp/0521536502

