Reisig, W. (2003). The Expressive Power of Abstract-State Machines. Computing and Informatics, 22(3-4), 209–219. https://cai.type.sk/content/2003/3-4/the-expressive-power-of-abstract-state-machines/