@inproceedings{weko_120528_1,
   author	 = "清水,敏彦 and 板橋,吉徳 and 佐藤,喜一 and 辻,宏郷 and 山中,顕次郎 and 大蒔,和仁",
   title	 = "LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1991",
   volume	 = "第42回",
   number	 = "ソフトウェア工学",
   pages	 = "165--166",
   month	 = "feb"
}