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