TY  - RPRT
TI  - Towards a Uniform Theory of Effectful State Machines
AU  - Sergey Goncharov
AU  - Stefan Milius
AU  - Alexandra Silva
PY  - 2020
DO  - 10.1145/3372880
UR  - https://arxiv.org/abs/1401.5277
ID  - 1401.5277
ER  -