books.google.com - This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. The 67 revised full papers presented together with 2 plenary lectures were carefully reviewed and selected from over...http://books.google.com/books/about/Theory_and_Applications_of_Models_of_Com.html?id=aFyeCKNWNykC&utm_source=gb-gplus-shareTheory and Applications of Models of Computation
