from TaPL

Abadi, Cardelli

OOP言語の核となる機能を抽出している