https://123dok.net/document/qvl76ldy-operational-semantics-of-a-domain-specific-language-for-real-time-musician-computer-interaction.html