Abstract State Machines: An Overview of the Project
- Yuri Gurevich
"Foundations of Information and Knowledge Systems" Springer Lecture Notes in Computer Science. |
We quickly survey the ASM project, from its foundational roots to industrial applications.