The theory of computability : programs, machines, effectiveness, and feasibility - Sommerhalder, R. (Addison-Wesley Pub. Co., 1988)