Präzises Denken für Informatiker. (2017)