Un documento etiquetado con "specification"

Formal specification for extensibility categories (extensible, semi-extensible, not-extensible) and context injection blocks