The theory of computability: programs, machines, effectiveness and feasibility. Addison-Wesley publishing company (1988)

by R Sommerhalder, S C van Westrhenen