SOFSEM 2007: Theory and Practice of Computer Science - Leeuwen, Jan van (Springer Berlin Heidelberg, 2020)