A Formal Approach to Architectural Design Patterns.

Paulo S. C. Alencar, Donald D. Cowan, Carlos Jos Pereira de Lucena

Browse the full FM paper archive.