@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238076,
 author = {藤林, 信也 and 紫合, 治 and 岩元, 莞二},
 book = {第17回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {143--154},
 publisher = {情報処理学会},
 title = {標準抽象データ構造に基づくデータ抽象化技法と仕様記述法},
 volume = {1976},
 year = {1976}
}