• A useful reference for terminology
• Skeletal semantics
• Programming Languages: Application and Interpretation
• Programming Language Foundations in Agda
• Programming Language Foundations
• Programming Language Semantics: It’s Easy As 1,2,3

Operational semantics

Basic Mechanics of Operational Semantics