Truong, Ninh Thuan and Nguyen, Viet Ha  (2007) Using B to Verify the Weaving of Aspects.  In: 14th Asia-Pacific Software Engineering Conference (APSEC'07).