A Compiler for the Parallel Execution of Estelle Specification. - Detlef Kreuz; Reinhard Gotzhein (FBT, 1992)

Formal Specification of CORBA Services Using Object-Z. - Detlef Kreuz (ICFEM, 1998)

Formale Semantik von Konnektoren. - Detlef Kreuz (1999)