Handbook of Computability Theory, Volume 140 door E.R. Griffor & E.R. Griffot