@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00232080,
 author = {五十嵐, 滋},
 book = {第9回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {F-53--F-59},
 publisher = {情報処理学会},
 title = {ALGOL-FORTRAN様のプログラムの妥当性の判定について},
 volume = {1968},
 year = {1968}
}