Informatik und Mathematik. - Broy, Manfred (Springer-Verlag, 1991)