田原 康之, 大須賀 昭彦, 本位田 真一: 書換え論理に基づくアスペクト指向ソフトウェアの形式モデル, ウインターワークショップ 2010 ・イン・倉敷, 倉敷市芸文館, pp.127-128,(2010.1).
