What can be computed? A practical guide to the theory of computation (2018) [pdf]