SOFSEM 2009: Theory and Practice of Computer Science - Hutchison, David; Kanade, Takeo; Bro Miltersen, Peter; Kucera, Antonin; Palamidessi, Catuscia; Tuma, Petr; Valencia, Frank (Springer Berlin Heidelberg, 2009)