Constructive D-module Theory with Singular | Publicación