@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237444, author = {山中, 顕次郎 and Yamanaka, Kenjirou}, book = {第29回プログラミング・シンポジウム報告集}, month = {Jan}, pages = {131--138}, publisher = {情報処理学会}, title = {CSPプログラムのν行為への翻訳とその応用}, volume = {1988}, year = {1988} }