A formalisation of deep metamodelling | Publicación