Programming with VDM Domains. - Uwe Schmidt 002; Hans-Martin Hörcher (VDM Europe, 1990)

The VDM Domain Compiler: A VDM Class Library Generator. - Uwe Schmidt 002; Hans-Martin Hörcher (VDM Europe (1), 1991)

Formale Spezifikationen zur Auswertung von Testergebnissen. - Hans-Martin Hörcher (GI Jahrestagung, 1993)

The DST Z-Tools. - Hans-Martin Hörcher (FTRTFT, 1994)

The VDM Domain Compiler. - Hans-Martin Hörcher; Uwe Schmidt 002 (FTRTFT, 1994)

Improving Software Tests Using Z Specifications. - Hans-Martin Hörcher (ZUM, 1995)

Using formal specifications to support software testing. - Hans-Martin Hörcher; Jan Peleska 001 (Softw. Qual. J., 1995)