Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches - Steffen, Bernhard; Steffen, Bernhard; Rüthing, Oliver; Huth, Michael (Springer International Publishing : Imprint: Springer, 2018)