A composable pattern for pure state machines with effects

(2016)