SOFSEM 2016: Theory and Practice of Computer Science - Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania; Catania, Barbara; Engels, Gregor (Springer Berlin Heidelberg, 2016)