Andres, D. Brickenstein, M. Levandovskyy, V. Martín-Morales, J. Schanemann, H. Constructive D-Module Theory with Singular Math. comput. sci. 10.1007/s11786-010-0058-x 2011 2011