[1]
Reisig, W. 2012. The Expressive Power of Abstract-State Machines. COMPUTING AND INFORMATICS. 22, 3-4 (Feb. 2012), 209–219.