Abstract Types Defined as Classes of Variables

Abstract Types Defined as Classes of Variables