P. Boehm

Amalgamation of Graph Transformations: A Synchronization Mechanism

Annegret Habel, Harald-Reto Fonio, Paul Boehm, 1987, J. Comput. Syst. Sci..

Compilation of LOTOS Data Type Specifications

Dietmar Wolz, Paul Boehm, P. Boehm, 1989, PSTV.

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag)

Hartmut Ehrig, Ingo Claßen, Michael Löwe, 1989, Software-Entwicklung.

Towards algebraic data types grammars: a junction between algebraic specification and graph grammars

Hartmut Ehrig, Annegret Habel, Paul Boehm, 1986, Bull. EATCS.

Algebraic Data Type and Process Specifications based on Projection Spaces

Hartmut Ehrig, Francesco Parisi-Presicce, Martin Große-Rhode, 1988, ADT.

Towards distributed graph grammars

Hartmut Ehrig, Michael Löwe, Paul Boehm, 1986, Graph-Grammars and Their Application to Computer Science.

Amalgamation of Graph Transformations with Applications to Synchronization

Annegret Habel, Harald-Reto Fonio, Paul Boehm, 1985, TAPSOFT, Vol.1.