Jin-Yi Cai, S. Barry Cooper, Hong Zhu Theory and Applications of Models of Computation - Germany Springer 2007 ISBN: 978-3-540-72504-6 Subjects--Topical Terms: Computer ScienceTheory and Applications of Models of Computation