著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"稲垣, 康善 and 坂部, 俊樹",抽象データタイプの代数的仕様記述法の基礎（2）：抽象データタイプ,情報処理,04478053,東京 : 情報処理学会 ; 1960-,1984-05-15,25,5,p491-501,https://cir.nii.ac.jp/crid/1050564287831048832,