Theoretical Aspects of Computing – ICTAC 2011 - Cerone, Antonio; Kanade, Takeo; Pihlajasaari, Pekka; Kittler, Josef (Springer Berlin Heidelberg, 2011)