@techreport{weko_49406_1,
   author	 = "野村,祐士 and 赤間,清 and 宮本,衛市",
   title	 = "プログラム変換による意味の解釈",
   year 	 = "1993",
   institution	 = "北海道大学工学部情報工学科, 北海道大学工学部情報工学科, 北海道大学工学部情報工学科",
   number	 = "1(1992-NL-093)",
   month	 = "jan"
}