Mathematische Grundlagen der Informatik - Bachmann, Peter (Akad. Verl., 1992)