M. Hanusch, “A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus,”10.4153/s0008414x21000596__Canadian Journal of Mathematics, vol. 75, no. 1, pp. 170–201, 2023, doi:10.4153/s0008414x21000596 .