TIME BOUNDED COMPUTATIONS OVER THE REALS | Publicación