Nobuyuki Tose "Systems of microdifferential equations with involutory double characteristics propagation theorem for sheaves in the frameworkof microlocal study of sheaves," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 63(7), 262-265, (1987)