The theory of computability : Programs, machines, effectiveness and feasibility - Sommerhalder, Rudolph (Addison-Wesley Publishing, 1988)