Graph transformation for specification and programming (1999)

by M Andries, G Engels, A Habel, B Hoffmann, H-J Kreowski, S Kuske, D Plump, A Schürr, G Taentzer
Venue:Sci. Comput. Program