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