@techreport{weko_22384_1,
   author	 = "南,祐昭 and 米崎,直樹",
   title	 = "仕様記述構成の形式化",
   year 	 = "1989",
   institution	 = "東京工業大学工学部情報工学科, 東京工業大学工学部情報工学科",
   number	 = "11(1988-SE-064)",
   month	 = "feb"
}