induction, object-oriented action semantics, structural operational semantics, model