Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings - Zhiming Liu, Jim Woodcock, Huibiao Zhu ((Lecture Notes in Computer Science))