萩谷昌己, 高橋孝一, 山本光晴, 佐藤貴洋: "時相論理による抽象化を用いたセル・オートマトンの解析"日本ソフトウェア科学会第20回大会. (2003)

Masami Hagiya、Koichi Takahashi、Mitsuharu Yamamoto、Takahiro Sato：“使用基于时间逻辑的抽象分析元胞自动机”第 20 届日本软件学会年会（2003 年）。