Monadic refinements for relational cost analysis | Publicación