@techreport{gurevich2001toward,
author = {Gurevich, Yuri and Schulte, Wolfram and Veanes, Margus},
title = {Toward Industrial Strength Abstract State Machines},
year = {2001},
month = {October},
abstract = {A powerful practical ASM language, called AsmL, is being developed in Microsoft Research by the group on Foundations of Software Engineering. AsmL extends the language of original ASMs in a number of directions. We describe some of these extensions.},
url = {http://approjects.co.za/?big=en-us/research/publication/toward-industrial-strength-abstract-state-machines/},
pages = {12},
number = {MSR-TR-2001-98},
}