Post's programme for the Ershov hierarchy - Afshari, B; Barmpalias, G; Cooper, S; Stephan, F (2007)