1 paper
Egon Boerger, James K. Huggins
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.