森岡 澄夫,岡野 浩三,北道 淳司,東野 輝夫,谷口 健一: "ASLプログラム開発システムにおける検証の自動化について" 第48回情報処理学会全国大会講演論文集. (4). 279-280

Sumio Morioka、Kozo Okano、Junji Kitamichi、Teruo Higashino、Kenichi Taniguchi：“论 ASL 程序开发系统中的验证自动化”第 48 届日本信息处理学会全国会议论文集 (4)。