@article{oai:ipsj.ixsq.nii.ac.jp:00005657,
 author = {稲垣, 康善 and Inagaki, Yasuyoshi},
 issue = {2},
 journal = {情報処理},
 month = {Feb},
 title = {データ構造：抽象データ型の概念と仕様記述法},
 volume = {27},
 year = {1986}
}