Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT) | Publicación