@article{oai:ipsj.ixsq.nii.ac.jp:00006089,
 author = {稲垣, 康善 and 坂部, 俊樹 and Inagaki, Yasuyoshi and Sakabe, Toshiki},
 issue = {1},
 journal = {情報処理},
 month = {Jan},
 title = {抽象データタイプの代数的仕様記述法の基礎（1）：多ソート代数と等式論理},
 volume = {25},
 year = {1984}
}