@techreport{weko_30971_1,
   author	 = "小野,諭 and 小川,瑞史 and 鶴岡,行雄",
   title	 = "経路有効条件を持つ計算経路解析　ノンフラットドメイン上のストリクトネス解析の一般化",
   year 	 = "1989",
   institution	 = "NTTソフトウェア研究所, NTTソフトウェア研究所, NTTソフトウェア研究所",
   number	 = "71(1989-PRO-030)",
   month	 = "sep"
}