The RPC-Memory Case Study: A Synopsis. - Manfred Broy; Stephan Merz; Katharina Spies (Formal Systems Specification, 1994)

AutoFocus: A Tool for Distributed Systems Specification. - Franz Huber; Bernhard Schätz; Alexander Schmidt; Katharina Spies (FTRTFT, 1996)

Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. - Ursula Hinkel; Katharina Spies (FBT, 1997)

Software and System Modeling Based on a Unified Formal Semantics. - Manfred Broy; Franz Huber; Barbara Paech; Bernhard Rumpe; Katharina Spies (Requirements Targeting Software and Systems Engineering, 1997)

Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. - Max Breitling; Ursula Hinkel; Katharina Spies (FBT, 1998)

Eine Methode zur formalen Modellierung von Betriebssystemkonzepten. - Katharina Spies (1998)

10 Years Focus - Lessons learned. - Bernhard Schätz; Katharina Spies (FBT, 2000)