1. Alefeld, G. andHerzberger J..Introduction to interval computations, Academic Press, New York, 1983.
2. Buchberger, B..Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes Mathematicae4 (1970), pp. 374–383.
3. Buchberger, B..Theoretical basis for the reduction of polynomials to canonical forms.SIGSAM Bulletin 39 (1976), pp. 19–29.
4. Buchberger, B..Some properties of Gröbner bases for polynomial ideals. SIGSAM Bulletin40 (1976). pp. 19–24.
5. Lecture Notes in Computer Science;B. Buchberger,1979