Citation: Egon Börger and Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
Summary: A book-length introduction to ASMs, addressed to software engineers, researchers, lectueres, and students as both a handbook and an instructional textbook.
Subjects: Introductory Materials, ASM Books
Download: May be purchased from Springer-Verlag. Additional material (slides, table of contents, errata, etc.) can be found at the AsmBook website at http://www.di.unipi.it/AsmBook/.