Kenji Hasegawa "On the propagation of analyticity or some class of differential equations with non-involutive double characteristics," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 63(3), 47-49, (1987)