The associative processor system CAPRA: architecture and applications. - Karl-Erwin Grosspietsch; Ralf Reetz (IEEE Micro, 1992)

Simplifying Deep Embedding: A Formalised Code Generator. - Ralf Reetz; Thomas Kropf (TPHOLs, 1994)

Deep Embedding VHDL. - Ralf Reetz (TPHOLs, 1995)

A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. - Ralf Reetz; Thomas Kropf (Formal Methods Syst. Des., 1995)

Eine Formalisierung der Hardwarebeschreibungssprache VHDL für die Hardware-Verifikation. - Ralf Reetz (Shaker, 1997)

Formal Specification in VHDL for Hardware Verification. - Ralf Reetz; Klaus Schneider 001; Thomas Kropf (DATE, 1998)