オブジェクト計算
from
TaPL
Abadi
,
Cardelli
OOP
言語の核となる機能を抽出している