Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients | Publicación