SOFSEM 2017: Theory and Practice of Computer Science - Steffen, Bernhard (Springer International Publishing, 2020)