Firmly nonexpansive and Kirszbraun-Valentine extensions: a constructive   approach via monotone operator theory
  Utilizing our recent proximal-average based results on the constructive extension of monotone operators, we provide a novel approach to the celebrated Kirszbraun-Valentine Theorem and to the extension of firmly nonexpansive mappings. 
Heinz H. Bauschke and Xianfu Wang