Compact maps and embeddings from an infinite type power series space to a finite type power series space. N. de de Grande-de Kimpe; W.B. Robinson — 1977 Journal für die reine und angewandte Mathematik