SOFSEM 2010: Theory and Practice of Computer Science - Leeuwen, Jan; Kanade, Takeo; Muscholl, Anca; Peleg, David; Pokorný, Jaroslav; Rumpe, Bernhard (Springer Berlin Heidelberg, 2010)