朴, 小林, 鈴木貢, 渡辺坦: "述語付き命令を持つ計算機における条件変換の静的最適化方式"情報処理学会、計算機アーキテクチャー研究会報告. 147・18. 103-108 (2002)

Park、Kobayashi、Mitsugu Suzuki 和 Tan Watanabe：“带有谓词指令的计算机条件转换的静态优化方法”，日本信息处理协会，计算机体系结构研究小组报告 147・108（2002 年）。