森岡,北嶋,島谷,東野,谷口: "一つのEFSMの複数EFSMによる実現の正しさの一証明法" 第52回情処全大論文集. 6. 1-2 (1996)

Morioka、Kitajima、Shimatani、Higashino、Taniguchi：“一种通过多个 EFSM 证明一个 EFSM 实现的正确性的方法”，第 52 期国立信息技术研究所论文集（1996 年）。