Declarative Term Graph Attribution for Program Generation. - Wolfram Kahl; Frank Derichsweiler (J. Univers. Comput. Sci., 2001)

Strategiegesteuerte Transformation von Termgraphen. - Frank Derichsweiler (Der Andere Verlag, 2002)

Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases. - Sebastian Thiel 001; Frank Derichsweiler (COMPSAC Workshops, 2011)