Theoretical Aspects of Computing – ICTAC 2012 - Hutchison, David; Kanade, Takeo; D´Souza, Meenakshi (Springer Berlin Heidelberg, 2012)