伊藤 真紀子, 武内 良典, 今井 正治, 塩見 彰睦: "命令の動作的意味記述を用いたプロセッサ合成手法の提案" 信学技報(VLSI設計). Vol.97. 77-84 (1997)

Makiko Ito、Yoshinori Takeuchi、Masaharu Imai、Akimutsu Shiomi：“使用指令的行为语义描述的处理器合成方法的提议”IEICE 技术报告（VLSI Design）（VLSI Design）（1997 年）。