伊東栄典、川口豊、古川善吾、牛島和夫: "順序列テスト基準に基づく並行処理プログラムのテスト充分性評価について" 情報処理学会論文誌. Vol36,No9. 2195-2205 (1995)

Einori Ito、Yutaka Kawaguchi、Zengo Furukawa、Kazuo Ushijima：“基于序列测试标准的并行处理程序的测试充分性评估”，日本信息处理学会汇刊，第 36 卷，第 9 期，2195-2205（1995 年）。