A generalization of an Ekeland-Lebourg theorem and the differentiability of distance functions. (English). In: Frolík, Zdeněk (ed.): Proceedings of the 11th Winter School on Abstract Analysis. Circolo Matematico di Palermo, Palermo, 1984. pp. [403]-410