Yuri Gurevich. The Abstract State Machine Paradigm: What Is in and What Is out. In Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Volume 2244 of Lecture Notes in Computer Science, pages 24, Springer, 2001. [doi]
@inproceedings{Gurevich01:1,
title = {The Abstract State Machine Paradigm: What Is in and What Is out},
author = {Yuri Gurevich},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2244/22440024.htm},
tags = {state machines, abstract machine},
researchr = {https://researchr.org/publication/Gurevich01%3A1},
cites = {0},
citedby = {0},
pages = {24},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers},
editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
volume = {2244},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43075-X},
}