Hiroto Yasuura, " On Parallel Computational Complexity of Unification ",
Proceedings of the International Conference on Fifth Generation Computer Systems, pp.235-243, Nov. 1984.

安浦寛人：“単項演算に対する局所計算可能な符号化”、情報処理学会論文誌、 Vol31 No.5、pp.740-747、平成2年5月．

H. Yasuura and T. Ishihara, ``System LSI Design Methods for Low Power LSIs,'' IEICE Trans. Electronics, vol. E83-C, no. 2, pp.143-152, February. 2000.