A Transformational Approach to Resource Analysis with Typed-Norms | Publicación