@techreport{weko_30407_1,
   author	 = "海老原,一郎",
   title	 = "OODBのオブジェクトの論理中での型に対する高階論理からの一考察",
   year 	 = "1995",
   institution	 = "電子技術総合研究所情報アーキテクチャ部",
   number	 = "26(1994-PRO-021)",
   month	 = "mar"
}