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