SOFSEM 2017: Theory and Practice of Computer Science - Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (Springer, 2017)