Theory and applications of models of computation

by Jin-Yi Cai, S. Barry Cooper, Hong Zhu