@techreport{weko_30497_1,
   author	 = "宮川晋 and 米崎,直樹",
   title	 = "オブジェクトの生成、消滅を表現可能な論理体系DOL",
   year 	 = "1994",
   institution	 = "東京工業大学工学部情報工学科, 東京工業大学工学部情報工学科",
   number	 = "21(1993-PRO-016)",
   month	 = "mar"
}