A Formalisation of the Evolution of Software Systems | Publicación