Structural Induction in Programming Language Semantics A Note for C S 386L Students
Types and Programming Languages