Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) | Publicación