Inductive and Operational Semantics