//-->
Bibliography on abstract data types
Kutzler, Bernhard, (1983)
Computer algebra : symbolic and algebraic computation
Buchberger, Bruno, (1982)
Combining logical and algebraic techniques for natural style proving in elementary analysis
Vajda, Robert, (2009)