Dynamic Abstract Data Types Based on Algebraic Graph Transformations.

Hartmut Ehrig Michael Löwe Fernando Orejas Dynamic Abstract Data Types Based on Algebraic Graph Transformations. 236-254 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#EhrigLO94