Mathematische Grundlagen der Informatik - Bachmann, Peter 1942- (Informatik, 1992)