Theoretical aspects of computing - ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / - Cerone, Antonio.; Pihlajasaari, Pekka. (Springer,, 2011)