@techreport{weko_31117_1,
   author	 = "清水,敏彦 and 戸村,哲 and 二木,厚吉 and 中川中",
   title	 = "順序ソート代数仕様と始代数存在判定手続き",
   year 	 = "1988",
   institution	 = "日本ユニバック（株）, 電子技術総合研究所, 電子技術総合研究所, （株）ソフトウエア・リサーチ・アソシェイツ",
   number	 = "6(1987-PRO-044)",
   month	 = "jan"
}