Ryazanov, V. I. On Compactness and Metrizability of Nuclear Spaces of Manifolds. Ukr. Mat. Zhurn. 1998, 50 (6), 830–837.