Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung. - F. Hofmann; S. Keramidis (GI Jahrestagung, 1979)

A comparison of two Petri net types. - Peter Bathelt; F. Hofmann (Computing, 1983)

Remote Procedure Call - Das aktuelle Schlagwort. - F. Hofmann (Inform. Spektrum, 1986)

Mach - Das aktuelle Schlagwort. - G. Heinzel; F. Hofmann (Inform. Spektrum, 1989)