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