@techreport{weko_30510_1,
   author	 = "百々,浩樹 and 石原,靖哲 and 関,浩之 and 嵩,忠雄",
   title	 = "メソッドスキーマにおける型整合性の解析アルゴリズム",
   year 	 = "1994",
   institution	 = "奈良先端科学技術大学院大学情報科学研究科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科／奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科／大阪大学基礎工学部情報工学科",
   number	 = "7(1993-PRO-015)",
   month	 = "jan"
}