Structural Induction in Programming Language Semantics A Note for C S 386L Students
a structural approach to operational semantics .