Weixiang Sun Zhengfan Dai AOSAM: A formal framework for aspect-oriented software architecture specifications. 180-185 2004 conf/iastedSEA/2004 IASTED Conf. on Software Engineering and Applications db/conf/iastedSEA/iastedSEA2004.html#SunD04