@techreport{weko_22225_1,
   author	 = "石原,靖哲 and 関,浩之 and 嵩,忠雄",
   title	 = "通信プロトコルの自然語仕様から抽象的順序機械型の代数的仕様への変換法について",
   year 	 = "1991",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "106(1991-SE-082)",
   month	 = "dec"
}