Computing and Software Science - Steffen (Springer International Publishing, 2019)