Bounded Refinement Types | Publicación