Theory and Applications of Models of Computation - Chan (Springer Berlin Heidelberg, 2013)