Theory And Applications Of Models Of Computation by Jin-Yi Cai