Abstract State Machines 1988-1998: Commented ASM Bibliography
  An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998. 
Egon Boerger and James K. Huggins