ABSTRACT MODELS WITH CONCRETE EXAMPLES