Computability in Europe 2009: held at Heidelberg, Germany, in July 2009] - Ambos-Spies, Klaus (Annals of pure and applied logic, 2012)