W. Reisig, “The Expressive Power of Abstract-State Machines”, Comput. Inform., vol. 22, no. 3-4, pp. 209–219, Feb. 2012.