Abstract Diagnosis of Functional Programs | Publicación