"Theory and Applications of Models of Computation - TAMC 2011" - читать интересную книгу автора (Mitsunori Ogihara, Jun Tarui)