Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. - Gabriele Taentzer; Martin Beyer (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). - Matthias Anlauff; Martin Beyer; Thomas Santen (GI Jahrestagung, 1993)

AGG - An Implementation of Algebraic Graph Rewriting. - Michael Löwe; Martin Beyer (RTA, 1993)

Formalization of Algebraic Specification in the Development Language DEVA. - Thomas Santen; Florian Kammüller; Stefan Jähnichen; Martin Beyer (KORSO Book, 1995)