Computable Analysis häftadEngelska, 2013