Constructive D-Module Theory with Singular | Publicación