立石孝彰, 青木利晃, 片山卓也: "振舞い近似手法を用いたステートチャートに対する不変性の検証"情報処理学会論文誌「オブジェクト指向技術特集」. 44巻6号. (2003)

Takaaki Tateishi、Toshiaki Aoki、Takuy​​a Katayama：“使用行为近似方法验证状态图的不变性”日本信息处理学会期刊“面向对象技术特刊”第 44 卷，第 6 期（2003 年）。