@techreport{weko_20359_1,
   author	 = "西岡,利博 and 小島,量 and 津田,宏 and 横田,一正",
   title	 = "演繹オブジェクト指向データベース言語QUIXOTEの手続き的意味論",
   year 	 = "1993",
   institution	 = "（株）三菱総合研究所, （財）新世代コンピュータ技術開発機構, （財）新世代コンピュータ技術開発機構, （財）新世代コンピュータ技術開発機構",
   number	 = "65(1993-DBS-094)",
   month	 = "jul"
}