Computable Models - Turner, Raymond (Springer London, 2009)