Book

Theory and applications of models of computation

by Jin-Yi Cai, S. Barry Cooper, Angsheng Li