Differentiable manifolds with generalized boundary George Graham (1984) Czechoslovak Mathematical Journal
Differentiable structure in a conjugate vector bundle of infinite dimension [Book] Paweł Urbański (1974)