@techreport{weko_31082_1,
   author	 = "粟屋,英司 and Lu,Yiguang and 関,浩之 and 藤井,護 and 嵩,忠雄",
   title	 = "OSIセション層の代数的記述とその検証について",
   year 	 = "1988",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "37(1988-PRO-025)",
   month	 = "may"
}