Computability in Europe 2009 - Ambos-Spies, Klaus (Journal of logic and computation, 2013)