Computability in Europe 2009 - Beckmann, Arnold; Merkle, Wolfgang; Löwe, Benedikt (Theory of computing systems, 2012)
First online: 24 November 2011