From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics. - William Steingartner; Igor Sivý (ADBIS (Short Papers), 2023)