佐藤友哉,北道淳司,東野輝夫: "プレスブルガー算術に拡張したCTLモデル検査法によるSFLで記述した回路の性質検証"第17回パルテノン研究会 資料集. 96-105 (2000)

Tomoya Sato、Junji Kitamichi、Teruo Higashino：“使用扩展至 Pressburger 算术的 CTL 模型检查验证 SFL 中描述的电路的属性”第 17 届帕台农神庙研究组材料集 96-105 (2000)。