Theory and Applications of Models of Computation : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings - Jianer Chen, S. Barry Cooper ((Lecture Notes in Computer Science))