Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings - Cerone, Antonio; Pihlajasaari, Pekka (Springer Berlin Heidelberg : Imprint: Springer, 2011)