@techreport{oai:ipsj.ixsq.nii.ac.jp:00031354,
 author = {大里延康 and 竹内郁雄 and 奥乃博},
 issue = {71(1984-PRO-031)},
 month = {Mar},
 title = {TAOにおける代入計算機構},
 year = {1985}
}