Mechanizing Refinement Types | Publicación