CASA: A Computer Algebra Package for Constructive Algebraic Geometry. - R. Gebauer; Michael Kalkbrener; B. Wall; Franz Winkler 001 (ISSAC, 1991)