@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237668,
 author = {高橋, 茂},
 book = {第3回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {A-17--A-32},
 publisher = {情報処理学会},
 title = {論理設計と自動プログラミング},
 volume = {1962},
 year = {1962}
}