Computability in Europe 2009 - Ambos-Spies, Klaus (Annals of pure and applied logic, 2012)