@article{weko_5966_1,
   author	 = "稲垣,康善 and 坂部,俊樹",
   title	 = "抽象データタイプの代数的仕様記述法の基礎（4）：終代数意味論に基づく抽象型構成子の仕様記述，実現ならびにその検証",
   journal	 = "情報処理",
   year 	 = "1984",
   volume	 = "25",
   number	 = "9",
   month	 = "sep"
}