Abstract geometrical computation 5: embedding computable analysis. - Durand-Lose, Jérôme (Natural Computing, 2011)