Präzises Denken für Informatiker - Wolf, Karsten 1967- (Springer Vieweg, 2017)