An Abstract State Machine Primer

[1]  W. W. Royce,et al.  Managing the development of large software systems: concepts and techniques , 1987, ICSE '87.

[2]  Andreas Blass,et al.  A New Zero-One Law and Strong Extension Axioms , 2000, Bull. EATCS.

[3]  Egon Börger,et al.  Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .

[4]  Donald E. Knuth,et al.  Fast Pattern Matching in Strings , 1977, SIAM J. Comput..

[5]  Robert S. Boyer,et al.  A fast string searching algorithm , 1977, CACM.

[6]  Donald Ervin Knuth,et al.  The Art of Computer Programming, Volume II: Seminumerical Algorithms , 1970 .

[7]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[8]  Angelo Gargantini,et al.  Encoding Abstract State Machines in PVS , 2000, Abstract State Machines.

[9]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[10]  Charles Wallace,et al.  Formalizing Database Recovery , 1997, J. Univers. Comput. Sci..

[11]  J. Kruskal.  On the shortest spanning subtree of a graph and the traveling salesman problem , 1956 .

[12]  Wolfgang Ahrendt,et al.  Reasoning about Abstract State Machines: The WAM Case Study , 1997, J. Univers. Comput. Sci..

[13]  Yuri Gurevich.  Draft of the ASM Guide , 1997 .

[14]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[15]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[16]  K. Beck,et al.  Extreme Programming Explained , 2002 .

[17]  Egon Börger,et al.  High Level System Design and Analysis Using Abstract State Machines , 1998, FM-Trends.

[18]  Martin Odersky,et al.  Abstract State Machines - Theory and Applications , 2002, Lecture Notes in Computer Science.

[19]  Egon Brger,et al.  Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras , 1995 .

[20]  Yuri Gurevich,et al.  Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[21]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[22]  Kirsten Winter,et al.  Model Checking Support for the ASM High-Level Language , 2000, TACAS.

[23]  Egon Börger,et al.  Composition and Submachine Concepts for Sequential ASMs , 2000, CSL.

[24]  Wolf Zimmermann,et al.  On the Construction of Correct Compiler Back-Ends: An ASM-Approach , 1997, J. Univers. Comput. Sci..

[25]  Yuri Gurevich,et al.  The Sequential ASM Thesis , 2001, Bull. EATCS.

[26]  Kirsten Winter,et al.  Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study , 2000, Abstract State Machines.

[27]  R. Prim.  Shortest connection networks and some generalizations , 1957 .

[28]  Egon Börger,et al.  The Origins and the Development of the ASM Method for High Level System Design and Analysis , 2002, J. Univers. Comput. Sci..

[29]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[30]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .