The Semantics of SPECTRUM. - Radu Grosu; Franz Regensburger (HOA, 1993)

HOLCF: eine konservative Erweiterung von HOL um LCF. - Franz Regensburger (1994)

Korso Reference Languages - Concepts and Application Domains. - Hans-Dieter Ehrich; Franz Regensburger; Wolfgang Grieskamp; Carola Gerke; Rudolf Herzig; Martin Gogolla; Grit Denker; Ernst-Rüdiger Olderog (KORSO Book, 1995)

AVL Trees Revisited: A Case Study in SPECTRUM. - Rudi Hettler; Dieter Nazareth; Franz Regensburger; Oscar Slotosch (KORSO Book, 1995)

HOLCF: Higher Order Logic of Computable Functions. - Franz Regensburger (TPHOLs, 1995)

Formal Verification of SDL Systems at the Siemens Mobile Phone Department. - Franz Regensburger; Aenne Barnard (TACAS, 1998)