@book{Akritas,
author="{Akritas, A.G.}",
title = "{Elements of Computer Algebra with Applications}",
publisher = "{John Wiley}",
year = "1989"
}

@book{Becker,
author="{Becker, Th., Weispfenning V.}",
title = "{Gr\"obner Bases}",
publisher = "{Springer}",
year = "1993"
}

@book{Buchberger,
author="{Buchberger, B., Collins G.E., Loos R., (eds.)}",
title = "{Computer Algebra: Symbolic and Algebraic Computation}",
publisher = "{Springer-Verlag}",
address = "{New-York}",
year = "1982"
}

@book{CharFL,
author="{Bruce W. Char, et al.}",
title = "{First Leaves.  Introduction to Maple V}",
publisher = "{Springer-Verlag, New-York}",
year = "1992"
}

@book{CharIntro,
author="{Bruce W. Char, et al.}",
title = "{Maple V.  Introduction to Maple V}",
publisher = "{Springer-Verlag, New-York}",
year = "1992"
}

@book{CharLRM,
author="{Bruce W. Char, et al.}",
title = "{Maple V.  Language Reference Manual}",
publisher = "{Springer-Verlag, New-York}",
year = "1992"
}

@book{Clark,
author="{Clark, A.}",
title = "{Elements of Abstract Algebra}",
publisher = Dover,
address = "{New York}",
year = "1984"
}

@book{Chou,
author="{Chou, S.C. }",
title = "{Mechanical Geometry Theorem Proving}",
publisher = "{Reidel, Dordrecht}",
year = "1988"
}

@book{Cohen,
author="{Cohen, H.}",
title = "{A Course in Com\-pu\-ta\-tio\-nal Al\-ge\-braic Num\-ber Theory}",
publisher = "{Sprin\-ger}",
year = "1993"
}

@book{Cox,
author="{Cox, D., Little J., O'Shea D.}",
title = "{Ideals, Varieties, and Algorithms}",
publisher = "{Springer}",
year = "1992"
}

@book{Davenport,
author="{Davenport, J.H., Siret Y., Tournier E.}",
title = "{Computer Algebra}",
publisher = "{Academic Press}",
year = "1988"
}

@book{Devitt, 
author = "{J.S. Devitt}",
title = "{Calculus with Maple V}",  
publisher = "{Brooks/Cole Publishing Company}",
address = "{Pacific Grove, California}", 
year = "1993"
}

@book{DMV,
title = "{Computeralgebra in Deutschland}", 
publisher = "Fachgruppe Computeralgebra der GI, DMV und GAMM", 
address = "Passau and Heidelberg",
year = "1993"
}


@book{Fulton,
author="{Fulton, W.}",
title = "{Algebraic Curves: An Introduction to Algebraic Geometry}",
publisher = "{W.A. Benjamin, Reading, MA.}",
year = "1969"
}

@book{FutureDirections,
title = "{Future Directions for Research in Symbolic Manipulation, 
Report of a workshop on Symbolic and Algebraic Computation}", 
editors = "{A. Boyle, B. Caviness}",
publisher =  "SIAM  report",
year = 1988
}

@book{Gallian,
author = "{J.A.  Gallian}", 
title = "{Contemporary Abstract Algebra, Third Edition}", 
publisher = "D.C. Heath  and  Company",
address = "{Lexingon, Massachusetts}", 
year = "1994"
}

@book{Geddes,
author="{Geddes, Keith O., Czapor Stephen R., Labahn G.}", 
title = "{Algorithms for Computer Algebra}",
publisher = "{Kluwer Academic Publishers}",
address = "{Boston}",
year = "1992"
}

@book{Geddes1,
author = "{K.O. Geddes, e.a.}",
title = "{MAPLE, Calculus Workbook, Problems and Solutions}",
publisher = "{Faculty of Mathematics, University of Waterloo}}", 
address = "{Ontario, Canada}", 
year = "1988"
}

@book{Johnson, 
author = "{E. Johnson}", 
title = "{Linear Algebra with Maple V}", 
publisher = "{Brooks/Cole Publishing Company}", 
address = "Pacific Grove, California",
year = "1992"
}

@article{Lazard,
author="{Lazard, D.}",
title = "{Solving zero-dimensional systems of algebraic equations}",
journal = "J. Symbolic Computation",
volume = "13",
year = "1992",
pages = "117-131"
}

@book{Mignotte,
author="{Mignotte, M.}",
title = "{Mathematics for Computer Algebra}",
publisher = "{Springer}",
year = "1992"
}

@book{Naudin,
author="{Naudin, P., Quitt\'e C.}",
title = "{Algorithmique Alg\`ebrique}",
publisher = "{Masson}",
year = "1992"
}

@book{Wang,
author="{Wang, D.M.}",
title = "{Characteristic Sets and Zero Structure of Polynomial Sets}",
publisher = "{Pre\-print, RISC-LINZ, Johannes Kepler University, Austria}",
year = "1989"
}