Text this: Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings / Klaus Ambos-Spies, Benedikt Löwe, [and] Wolfgang Merkle (eds.).