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