Certified Cost Bounds for Abstract Programs | Publicación