Reisig, W. The Expressive Power of Abstract-State Machines. Comput. Inform. 2012, 22, 209-219.