Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Kohlenbach, Ulrich, Laurenţiu, Leuştean (2003) Abstract and Applied Analysis