Abstract Analysis of Universal Properties for tccp | Publicación