Abstract State Machines 1988-1998: Commented ASM Bibliography
arXiv:cs/9811014
Abstract
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.
Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm/