Die Methode der Mathematik - Buchberger, Bruno; Lichtenberger, Franz (Informatik-Fachberichte, 1980)