@phdthesis{oai:tsukuba.repo.nii.ac.jp:00008758,
 author = {池田, 靖雄 and Ikeda, Yasuo},
 month = {},
 note = {v-定義可能行為[5](v-definable act 以下v行為v act)はプログラムの数学的表現である。v行為を用いて、プログラムを表現する事によりプログラムの性質の検証を形式的に厳密に行う事が出来る[11]。他の論理的手段 ..., 1992},
 school = {筑波大学, University of Tsukuba},
 title = {高階論理型プログラム言語NUの解釈系},
 year = {1992}
}