@techreport{weko_31012_1,
   author	 = "中村,敦司 and 山田,敏哉 and 井田,哲雄",
   title	 = "記号計算抽象マシン",
   year 	 = "1989",
   institution	 = "筑波大学工学研究科, 筑波大学情報学類, 筑波大学電子・情報工学系",
   number	 = "12(1988-PRO-020)",
   month	 = "feb"
}