Yoshihiro Shibata, Yoshio Tsutsumi "Local existence of $C^\infty$-solution for the initial-boundary value problem of fully nonlinear wave equation," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 60(5), 149-152, (1984)