@article{oai:nuis.repo.nii.ac.jp:00002589,
 author = {石井, 忠夫 and Ishii, Tadao},
 journal = {新潟国際情報大学情報文化学部紀要},
 month = {Mar},
 pages = {141--150},
 title = {ソフトウェア仕様とプログラムの導出},
 volume = {12},
 year = {2009},
 yomi = {イシイ, タダオ}
}