ANOSY: approximated knowledge synthesis with refinement types for declassification | Publicación