Functional modelling of operating sytem [system] structures by timed higher order stream processing functions - Manfred Broy; Claus Dendorfer (Forschungsberichte, TU Munich, 1990)

Funktionale Modellierung eines Postsystems - Claus Dendorfer (Forschungsberichte, TU Munich, 1991)

An Informal Introduction to the Design Method FOCUS. - Claus Dendorfer; Rainer Weber (FBT, 1992)

From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. - Claus Dendorfer; Rainer Weber (PSTV, 1992)

Modelling Operating System Structures by Timed Stream Processing Functions. - Manfred Broy; Claus Dendorfer (J. Funct. Program., 1992)

Development and implementation of a communication protocol: an exercise in FOCUS - Claus Dendorfer; Rainer Weber (Forschungsberichte, TU Munich, 1992)

FOCUS: A Formal Design Method for Distributed Systems. - Frank Dederichs; Claus Dendorfer; Rainer Weber (Parallel Computer Architectures, 1993)

Methodik funktionaler Systementwicklung. - Claus Dendorfer (Utz, Wiss. Verlag, 1995)