メンバー紹介 - Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Rewriting LogicModel of Compositional Abstraction of Aspect-Oriented Software, inProc. of the Foundations of Aspect-Oriented Languages Workshop 2010 (FOAL2010), Rennes, France (2010.3). http://www.eecs.ucf.edu/FOAL/papers-2010/Tahara-etal.pdf