Algorithmic Mathematics - Hougardy; von Randow, Rabe; Vygen, Jens (Springer International Publishing, 2016)