A Fully Abstract Semantics for Constructor Systems | Publicación