SOFSEM 2013: Theory and Practice of Computer Science - Hutchison, David; Kanade, Takeo; Groen, Frans C. A.; Italiano, Giuseppe F.; Nawrocki, Jerzy; Sack, Harald (Springer Berlin Heidelberg, 2013)