Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings - Cai, Jin-Yi; Cooper, S. Barry; Zhu, Hong (Springer Berlin Heidelberg, 2007)