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