@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238032,
 author = {島内, 剛一 and 筧, 捷彦},
 book = {第16回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {119--126},
 publisher = {情報処理学会},
 title = {プログラミング言語FOL},
 volume = {1975},
 year = {1975}
}