@techreport{weko_31203_1,
   author	 = "程京徳 and 牛島,和夫",
   title	 = "Ada（R）タスクに一意的識別子を付ける方法　（並行分散システムの記述と検証）",
   year 	 = "1986",
   institution	 = "九州大学工学部情報工学科, 九州大学工学部情報工学科",
   number	 = "83(1986-PRO-009)",
   month	 = "dec"
}