Dynamic abstract data types based on algebraic graph transformations | Publicación