@techreport{weko_31206_1,
   author	 = "尾内,理紀夫 and 竹内,郁雄",
   title	 = "TAOによる並列問題解決プログラミング　（並行分散システムの記述と検証）",
   year 	 = "1986",
   institution	 = "NTT電気通信研究所, NTT電気通信研究所",
   number	 = "83(1986-PRO-009)",
   month	 = "dec"
}