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