"Theory and Applications of Models of Computation, 4 conf., TAMC 2007" - читать интересную книгу автора (Jin-Yi Cai, S. Barry Cooper, Hong Zhu)