Mathematical Foundations of Advanced Informatics - Steffen, Bernhard (Springer International Publishing, 2020)