José Proença, Luc Edixhoven: Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION 2023: 163-171