Approximation of Ultra-Differentiable Functions by Polynomials and Entire Functions. Hans-Joachim Petzsche (1984) Manuscripta mathematica
Axioms for convenient calculus Alfred Frölicher (2004) Cahiers de Topologie et Géométrie Différentielle Catégoriques