Computability - Tourlakis, George J. (Reston Publishing Company, 1984)