| Citation: | Yuri Gurevich, "Evolving Algebras 1993: Lipari Guide", Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995, 9--36. |
|---|---|
| Summary: | The authoritative definition of ASMs. |
| Subjects: | Introductory Materials |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |