Abstrakte Modelle zur Untersuchung von sicheren Systemen. - Hans vor der Brück (Computing, 1977)

Probleme beim Entwurf sicherer Datenbanksysteme. - Theo von Bomhard; Hans vor der Brück; Norbert Ramsperger (GI Jahrestagung, 1980)

Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. - Hans vor der Brück (Software Engineering, 1980)

Einfluß der Sicherheitskern-Architektur auf die Strukturierung von Betriebssystemen. - Hans vor der Brück (Elektron. Rechenanlagen, 1980)

Zur Organisation der Unterbrechnungsbehandlung und der Prozeßumschaltung in Betriebssystemen. - Hans vor der Brück; Gerd Liefländer (Elektron. Rechenanlagen, 1980)