Computability In Context by S. Barry Cooper & Andrea Sorbi