Rechnerorientierte Verfahren / von Bruno Buchberger ... Stuttgart : Teubner, 1986