Formalizing and Proving Semantic Relations between Specifications by Reflection | Publicación