@techreport{weko_36022_1,
   author	 = "東野,輝夫 and 加藤,良司 and 安本,慶一 and 谷口,健一",
   title	 = "LOTOSで記述されたサービス仕様から　プロトコル仕様群の導出",
   year 	 = "1991",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "83(1991-DPS-052)",
   month	 = "sep"
}