@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238354,
 author = {佐伯, 元司 and 米崎, 直樹 and 榎本, 肇 and Saeki, Motoshi and Yonezaki, Naoki and Enomoto, Hajime},
 book = {第24回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {67--77},
 publisher = {情報処理学会},
 title = {形式的仕様記述の道具としての自然言語},
 volume = {1983},
 year = {1983}
}