On the specification of software adaptation | Publicación