Toshinori Oaku "Algorithms for $b$-functions, induced systems, and algebraic local cohomology of $D$-modules," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 72(8), 173-178, (1996)