Weixiang Sun, Zhengfan Dai: AOSAM: A formal framework for aspect-oriented software architecture specifications. IASTED Conf. on Software Engineering and Applications 2004: 180-185