The theory of computability : programs, machines, effectiveness, and feasibility - Sommerhalder, R. (International computer science series, 1988)