Theoretical Aspects of Computing - ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings - Liu, Zhiming. (Springer Berlin Heidelberg,)