@techreport{weko_21566_1,
   author	 = "立石,孝彰 and 青木,利晃 and 片山,卓也",
   title	 = "オブジェクト指向分析モデルの検証と公理系の提案",
   year 	 = "2000",
   institution	 = "北陸先端科学技術大学院大学情報科学研究科, 北陸先端科学技術大学院大学情報科学研究科, 北陸先端科学技術大学院大学情報科学研究科",
   number	 = "46(2000-SE-127)",
   month	 = "may"
}