B. Buchberger/F.Lichtenberger: Mathematik für Informatiker I -Die Methode der Mathematik, 1980