Theory and Applications of Models of Computation - Jianer Chen, Qilong Feng, Jinhui Xu (Springer, 2020)