Fundamentals of algebraic specification 2

Fundamentals of algebraic graph transformation

Integration of software specification techniques for applications in engineering

Graph grammars and their application to computer science

Fundamentals of Algebraic Specification 2

Fundamentals of Algebraic Specification 1

Graph and Model Transformation

Graph Transformations

Graph Transformations Lecture Notes in Computer Science

Formal methods in software and systems modeling

Petri net technology for communication-based systems