Compositional Analysis for Weak Stubborn Sets | Publicación