Limits of Computation - Bernhard Reus (Springer, 2016)