COMPUTABILITY AND LOGIC - Cohen, Daniel E. (Chichester Ellis Horwood, 1987)
Keywords: Machine Theory; Computable Functions