Computational completeness of programming languages based on graph transformation (2001)

by A Habel, D Plump
Venue:In Honsell and Miculan (eds.), Proceedings of FoSSaCS’01. LNCS 2030