@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00232051,
 author = {榊原, 清},
 book = {第9回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {A-12--A-26},
 publisher = {情報処理学会},
 title = {ALGOLによるプログラムの誤りの発見について},
 volume = {1968},
 year = {1968}
}