Compatability: An introduction to recursive function theory - Cutland Nigel (Cambridge University Press, 1980)
Keywords: Numerical analysis