Mathematical Foundations of Advanced Informatics - Bernhard Steffen, Oliver Rüthing, Michael Huth (Springer, 2018)