Algorithmic Mathematics - Hougardy (Springer International Publishing, 2016)