Theory and Applications of Models of Computation : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings - Jin-Yi Cai, S. Barry Cooper, Hong Zhu ((Lecture Notes in Computer Science))