Computability and models perspectives east and west - Cooper, Stuart B. 1943-2015 (University series in mathematics, 2003)