Scripting Coordination Styles. - Franz Achermann; Stefan Kneubuehl; Oscar Nierstrasz (COORDINATION, 2000)

Explicit Namespaces. - Franz Achermann; Oscar Nierstrasz (JMLC, 2000)

A Calculus for Modeling Software Components. - Oscar Nierstrasz; Franz Achermann (FMCO, 2002)

Forms, Agents and Channels: Defining Composition Abstraction with Style. - Franz Achermann (2002)

A calculus for reasoning about software composition. - Franz Achermann; Oscar Nierstrasz (Theor. Comput. Sci., 2005)