Theory and Applications of Models of Computation - Ding-Zhu Du, Donglei Du, Chenchen Wu, Dachuan Xu (Springer, 2022)