論文誌
[1] 篠塚 卓, 鵜林 尚靖, 四野見 秀明, 玉井 哲雄, "契約によるクラスとアスペクト間の影響解析," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 24, number 2, pages 133-149, 2007年.
国際会議
[1] Suguru Shinotsuka, Naoyasu Ubayashi, Hideaki Shinomi, and Tetsuo Tamai, "An Extensible Contract Verifier for Aspectj," In 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006), pages 35-40, 2006.