近藤 久,栗原 正仁,大内 東: "“Reason Maintenance Systemによる項書き換えシステム停止性検証の効率化"" 情報処理学会論文誌. 32巻9号. 1046-1056 (1991)

Hisashi Kondo、Masahito Kurihara、Higashi Ouchi：“使用原因维护系统提高术语重写系统停止验证的效率”，《日本信息处理学会会刊》第 32 卷，第 9 期，1046-1056（1991 年）。