村上尚,北道淳司,森岡澄夫,西川清史,谷口健一: ""代数的手法を用いた同期式順序回路の設計支援機能の統合"" 1995年電子情報通信学会春期大会(A121). 基礎/境界. 121- (1995)

Hisashi Murakami、Junji Kitamichi、Sumio Morioka、Kiyoshi Nishikawa、Kenichi Taniguchi：“使用代数方法集成同步时序电路的设计支持功能”1995 IEICE 春季会议 (A121) (1995)。