Kenzo ADACHI "Continuation of $A^{\infty }$-functions from submanifolds to strictly pseudoconvex domains," Journal of the Mathematical Society of Japan, J. Math. Soc. Japan 32(2), 331-341, (April, 1980)