@inproceedings{weko_116645_1,
   author	 = "島袋,潤 and 萩本,和彦 and 関,浩之 and 藤井,護 and 嵩,忠雄",
   title	 = "自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1989",
   volume	 = "第38回",
   number	 = "ソフトウェア工学",
   pages	 = "1132--1133",
   month	 = "mar"
}