ここにもADTの定義が書いてある。真ん中よりちょっと上。4つの特徴で定義してある。
ttp://gd.tuwien.ac.at/languages/c/c++oop-pmueller/node4.html
やっぱり型と操作の分離や外部への抽象化がポイント。