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