で、この本を書いたメイヤーが論じているのは抽象データ型の話なので