面向对象软件体系结构的形式化模型

• Formal Model of Object-oriented Architecture