Combining VDM-SL Specifications with C++ Code. - Brigitte Fröhlich; Peter Gorm Larsen (FME, 1996)

Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. - Bernhard K. Aichernig; Brigitte Fröhlich; Andreas Kerschbaumer (J. Univers. Comput. Sci., 2001)

First Steps Towards the FAIRification of the DZD CORE DATASET at the German Center for Diabetes Research. - Esther Thea Inau; Angela Dedie; Ivona Anastasova; Andreas Birkenfeld; Brigitte Fröhlich; Martin Hrabe de Angelis; Michael Roden; Renate Schick; Yaroslav Zdravomyslov; Atinkut Zeleke; Dagmar Waltemath; Martin Preusse (SWAT4HCLS, 2023)