Degrees of Unsolvability Local and Global Theory - Lerman Manuel (New York Springer Verlag, 1983)