Theory and Applications of Models of Computation - Chen (Springer International Publishing, 2020)