Tatsuo Nishitani "Energy inequality for non strictly hyperbolic operators in the Gevrey class," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 58(10), 429-431, (1982)