Compilation of Algebraic Specifications and Term Rewriting Systems. - Dietmar Wolz (ADT, 1988)

Compilation of LOTOS Data Type Specifications. - Dietmar Wolz; Paul Boehm (PSTV, 1989)

Design of a Compiler for Lazy Pattern Driven Narrowing. - Dietmar Wolz (ADT, 1990)

Symbolic execution of LOTOS specifications. - Henk Eertink; Dietmar Wolz (FORTE, 1992)

Algebraic Specification Techniques and Tools for Software Development: The Act Approach - Ingo Claßen; Hartmut Ehrig; Dietmar Wolz (World Scientific, 1993)

Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. - Dietmar Wolz (COMPASS/ADT, 1995)

Colimit library for graph transformations and algebraic development techniques. - Dietmar Wolz (1998)

Very Effective Evolutionary Techniques for Searching Cellular Automata Rule Spaces. - Dietmar Wolz; Pedro Paulo Balbi de Oliveira (J. Cell. Autom., 2008)