E. Börger, Abstract State Machines: a unifying view of models of computation and of system design frameworks, Annals of Pure and Applied Logic, vol.133, issue.1-3, pp.149-171, 2005.
DOI : 10.1016/j.apal.2004.10.007

G. Del, C. , Y. Gurevich, and K. Stroetmann, Typed Abstract State Machines. Unfinished manuscript, 1998.

N. Dershowitz and Y. Gurevich, Abstract, Bulletin of Symbolic Logic, vol.33, issue.03, pp.299-350, 2008.
DOI : 10.1145/359863.359885
URL : https://hal.archives-ouvertes.fr/inria-00107627

S. Grigorieff and P. Valarcher, Evolving MultiAlgebras unify all usual sequential computation models
URL : https://hal.archives-ouvertes.fr/inria-00455373

S. Dexter, P. Boyle, and Y. Gurevich, Gurevich Abstract State Machines and Schönhage Storage Modification Machines, JUCS, vol.3, issue.4, pp.279-303, 1997.

Y. Gurevich, Reconsidering Turing's Thesis: towards more realistic semantics of programs, 1984.

Y. Gurevich, A new Thesis. Abstracts, 1985.

Y. Gurevich, Logic and the Challenge of Computer Science. Current Trends in Theoretical Computer Science, pp.1-57, 1988.

Y. Gurevich, Evolving Algebras: An Introductory Tutorial Reprinted in Current Trends in Theoretical Computer Science, Bul. EATCS, vol.43, pp.264-284, 1991.

Y. Gurevich, Draft of the ASM Guide, 1997.

Y. Gurevich, The Sequential ASM Thesis Reprinted in Current Trends in Theoretical Comp, Bul. EATCS Sc. World Scientific, vol.67, pp.93-124, 1999.

Y. Gurevich, Sequential abstract-state machines capture sequential algorithms, ACM Transactions on Computational Logic, vol.1, issue.1, pp.77-111, 2000.
DOI : 10.1145/343369.343384
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3017