Computable models (2009)