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