Toshinori Ôaku "A new formulation of local boundary value problem in the framework of hyperfunctions, III. Propagation of micro-analyticity up to the boundary," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 61(7), 197-200, (1985)