软件体系结构的形式化与面向状态的形式化风格

• Formalizing in Software Architecture and State-Oriented Style