Holomorphic Realization of Unitary Representations of Banach–Lie Groups - Karl-Hermann Neeb (2010)