@article{oai:ipsj.ixsq.nii.ac.jp:00006265,
 author = {西村, 敏男 and Nishimura, Toshio},
 issue = {3},
 journal = {情報処理},
 month = {Mar},
 title = {日本のソフトウェアの草創期：II. 応用ソフトウエア 定理の証明},
 volume = {24},
 year = {1983}
}