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