Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case. - Steingartner, William; Novitzká, Valerie (Computer Science & Information Systems, 2024)