Mathematisch-strukturelle Grundlagen der Informatik by Hartmut Ehrig